Integration of Declarative and Constraint Programming

Petra Hofstedt, Peter Pepper

Combining a set of existing constraint solvers into an integrated system of cooperating solvers is a useful and economic principle to solve hybrid constraint problems. In this pape…