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…