Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Systematic explanation of indexical constraints
RISE, Swedish ICT, SICS.
2005 (English)Conference paper, Published paper (Refereed)
Abstract [en]

Several constraint solvers over finite domains, such as GNU-Prolog or SICStus Prolog, use indexicals to define their primitive constraints. An indexical specifies a set of consistent values for a given variable and can be compiled into an efficient filtering algorithm. The explanation of a value withdrawal is a set of constraints that is sufficient to justify this withdrawal. Explanations enable the handling of over-constrained or dynamic problems, and allow the development of new search methods. Traditionally, an explanation algorithm has to be designed for each filtering algorithm. This paper shows that explanation algorithms can be automatically derived from indexical constraints. In the case of SICStus Prolog, explanation computation can also benefit from the existing implementation.

Place, publisher, year, edition, pages
2005, 1.
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-21081OAI: oai:DiVA.org:ri-21081DiVA: diva2:1041115
Conference
CSCLP 2005: Joint Annual Workshop on Constraint Solving and Constraint Logic Programming, 20-22 June 2005, Uppsala, Sweden
Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2017-08-03Bibliographically approved

Open Access in DiVA

No full text

By organisation
SICS
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.27.0