Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Systematic explanation of indexical constraints
RISE., Swedish ICT, SICS.
2005 (engelsk)Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
2005, 1.
HSV kategori
Identifikatorer
URN: urn:nbn:se:ri:diva-21081OAI: oai:DiVA.org:ri-21081DiVA, id: diva2:1041115
Konferanse
CSCLP 2005: Joint Annual Workshop on Constraint Solving and Constraint Logic Programming, 20-22 June 2005, Uppsala, Sweden
Tilgjengelig fra: 2016-10-31 Laget: 2016-10-31 Sist oppdatert: 2018-01-14bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
v. 2.35.7