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.PL2001
Component Programming and Interoperability in Constraint Solver Design
Frederic Goualard
Prolog was once the main host for implementing constraint solvers. It seems that it is no longer so. To be useful, constraint solvers have to be integrable into industrial applicat…