Systematic explanation of indexical constraints

Langevine, Ludovic (2005) Systematic explanation of indexical constraints. In: CSCLP 2005: Joint Annual Workshop on Constraint Solving and Constraint Logic Programming, 20-22 June 2005, Uppsala, Sweden.

Full text not available from this repository.

Official URL:


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.

Item Type:Conference or Workshop Item (Paper)
ID Code:207
Deposited By:ISL Researcher
Deposited On:19 Jan 2006
Last Modified:18 Nov 2009 15:54

Repository Staff Only: item control page