max planck institut
informatik

# MPI-I-94-261

## 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.
Note:
Accepted for {ICLP'95}
Acknowledgement:
References to related material:

MPI-I-94-261.pdf85 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: http://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/1994-261
BibTeX
@TECHREPORT{BarthBockmayr-94-mpii261,
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},