Deriving Filtering Algorithms from Constraint Checkers
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- From Constraints to Finite Automata to Filtering AlgorithmsPublished by Springer Nature ,2004
- hibiscus: A Constraint Programming Application to Staff Scheduling in Health CarePublished by Springer Nature ,2003
- Representing Arithmetic Constraints with Finite Automata: An OverviewPublished by Springer Nature ,2002
- Consistency restoration and explanations in dynamic CSPs—Application to configurationArtificial Intelligence, 2002
- Non-overlapping Constraints between Convex PolytopesPublished by Springer Nature ,2001
- Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint FamilyPublished by Springer Nature ,2001
- Revisiting the Cardinality Operator and Introducing the Cardinality-PathConstraint FamilyPublished by Springer Nature ,2001
- Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same TypePublished by Springer Nature ,2000
- An open-ended finite domain constraint solverPublished by Springer Nature ,1997
- Introducing global constraints in CHIPMathematical and Computer Modelling, 1994