Sciweavers

CPAIOR
2009
Springer

Open Constraints in a Boundable World

13 years 10 months ago
Open Constraints in a Boundable World
Open forms of global constraints allow the addition of new variables to an argument during the execution of a constraint program. Such forms are needed for difficult constraint programming problems where problem construction and problem solving are interleaved. We introduce a new model of open global constraint where the length of the sequence of variables can be constrained but there is no a priori restriction on the variables that might be added. In general, propagation that is sound for a global constraint can be unsound when the constraint is open. We identify properties of constraints that simplify the design of algorithms for propagation by identifying when no propagation can be done, and use them to design propagation algorithms for several open global constraints.
Michael J. Maher
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where CPAIOR
Authors Michael J. Maher
Comments (0)