Showing cs.AIShow all
2 papers · 1 filter
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.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…