Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Auto-tabling for subproblem presolving in MiniZinc
Uppsala University, Sweden.
Uppsala University, Sweden.
RISE - Research Institutes of Sweden, ICT, SICS. (Computer Systems Laboratory,)ORCID-id: 0000-0003-3079-8095
Uppsala University, Sweden.
Visa övriga samt affilieringar
2017 (Engelska)Ingår i: Constraints, ISSN 1383-7133, E-ISSN 1572-9354, Vol. 22, nr 4, s. 512-529Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

A well-known and powerful constraint model reformulation is to compute the solutions to a model part, say a custom constraint predicate, and tabulate them within an extensional constraint that replaces that model part. Despite the possibility of achieving higher solving performance, this tabling reformulation is often not tried, because it is tedious to perform; further, if successful, it obfuscates the original model. In order to encourage modellers to try tabling, we extend the MiniZinc toolchain to perform the automatic tabling of suitably annotated predicate definitions, without requiring any changes to solvers, thereby eliminating both the tedium and the obfuscation. Our experiments show that automated tabling yields the same tables as manual tabling, and that tabling is beneficial for solvers of several solving technologies.

Ort, förlag, år, upplaga, sidor
2017. Vol. 22, nr 4, s. 512-529
Nyckelord [en]
MiniZinc, Modelling methodology, Presolving, Tabling, Artificial intelligence, Constraint model, Original model, Solving performance, Constraint theory
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:ri:diva-32426DOI: 10.1007/s10601-017-9270-5Scopus ID: 2-s2.0-85020249248OAI: oai:DiVA.org:ri-32426DiVA, id: diva2:1153814
Forskningsfinansiär
Vetenskapsrådet
Anmärkning

Funding details: Uppsala Universitet; Funding details: 2015-4910, VR, Vetenskapsrådet

Tillgänglig från: 2017-10-31 Skapad: 2017-10-31 Senast uppdaterad: 2025-09-23Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Carlsson, Mats

Sök vidare i DiVA

Av författaren/redaktören
Carlsson, Mats
Av organisationen
SICS
I samma tidskrift
Constraints
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 201 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf