2 papers
cs.AI2004
Directional Consistency for Continuous Numerical Constraints
Frederic Goualard, Laurent Granvilliers
Bounds consistency is usually enforced on continuous constraints by first decomposing them into binary and ternary primitives. This decomposition has long been shown to drastically…
cs.AI2001
Enhancing Constraint Propagation with Composition Operators
Laurent Granvilliers, Eric Monfroy
Constraint propagation is a general algorithmic approach for pruning the search space of a CSP. In a uniform way, K. R. Apt has defined a computation as an iteration of reduction f…