Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society


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

Barth, Peter and Bockmayr, Alexander

MPI-I-94-261. November 1994, 16 pages. | Status: available - back from printing | Next --> Entry | Previous <-- Entry

Abstract in LaTeX format:
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}
References to related material:

To download this research report, please select the type of document that fits best your needs.Attachement Size(s):
MPI-I-94-261.pdfMPI-I-94-261.pdfMPI-I-94-261.dvi85 KBytes; 126 KBytes
Please note: If you don't have a viewer for PostScript on your platform, try to install GhostScript and GhostView
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}},