3 papers
cs.AI2003
Constraint-based analysis of composite solvers
Evgueni Petrov, Eric Monfroy
Cooperative constraint solving is an area of constraint programming that studies the interaction between constraint solvers with the aim of discovering the interaction patterns tha…
cs.PL2001
Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints
Krzysztof R. Apt, Roman Bartak, Eric Monfroy +2
Homepage of the workshop proceedings, with links to all individually archived papers
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…