MPI-INF/SWS Research Reports 1991-2021

2. Number - All Departments


Finite domain and cutting plane techniques in CLP($\cal PB$)

Barth, Peter and Bockmayr, Alexander

November 1994, 16 pages.

Status: available - back from printing

Finite domain constraints are one of the most important constraint domains in constraint logic programming. Usually, they are solved by local consistency techniques combined with enumeration. We argue that, in many cases, the concept of local consistency is too weak for both theoretical and practical reasons. We show how to obtain more information from a given constraint set by computing cutting planes and how to use this information in constraint solving and constrained optimization. Focusing on the pseudo-Boolean case CLP(PB), where all domains are equal to the two-element set $\{0,1\}$, we present specialized cutting plane techniques and illustrate them on a number of examples.
Accepted for {ICLP'95}

  • MPI-I-94-261.pdfMPI-I-94-261.pdfMPI-I-94-261.dvi
  • Attachement: MPI-I-94-261.dvi (85 KBytes); MPI-I-94-261.pdf (126 KBytes)

URL to this document:

Hide details for BibTeXBibTeX
  AUTHOR = {Barth, Peter and Bockmayr, Alexander},
  TITLE = {Finite domain and cutting plane techniques in {CLP($\cal PB$)}},
  TYPE = {Research Report},
  INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
  ADDRESS = {Im Stadtwald, D-66123 Saarbr{\"u}cken, Germany},
  NUMBER = {MPI-I-94-261},
  MONTH = {November},
  YEAR = {1994},
  ISSN = {0946-011X},
  NOTE = {Accepted for {ICLP'95}},