Combinatorial Problem Solving in Constraint Logic Programming with Cooperating Solvers

Henri Beringer, Bruno De Backer. Combinatorial Problem Solving in Constraint Logic Programming with Cooperating Solvers. In Logic Programming: Formal Methods and Practical Applications. pages 245-272, 1995.

Abstract

Abstract is missing.