Cutting Planes in Constraint Logic Programming
Alexander Bockmayr · 1994
In this paper, we show how recently developed techniques from combinatorial optimization can be embedded into constraint logic programming. We develop a constraint solver for the constraint logic programming language CLP(PB) for logic programming with pseudo-Boolean constraints. Our approach is based on the generation of polyhedral cutting planes and the concept of branch-and-cut. In the case of 0-1 constraints, this can improve or replace the finite domain techniques used in existing constraint logic programming systems. Contents 1 Introduction 2 2 Constraint Logic Programming with 0-1 Constraints 3 2.1 Main problems : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 5 2.2 Pseudo-Boolean and finite domain constraints : : : : : : : : : : : : : : : : : : : : : : 6 3 Solving 0-1 Constraints 6 3.1 Equality descriptions of the solution set : : : : : : : : : : : : : : : : : : : : : : : : : 6 3.2 Inequality descriptions : : : : : : : : : : : : : : : : : : :...