MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Barth, Peter
Bockmayr, Alexander		dblp
dblp
Editor(s):
BibTeX cite key*:
BarthBockmayr93a
Title, Booktitle
Title*:
Solving 0-1 Problems in CLP($\cal PB$)
Booktitle*:
Proceedings 9th Conference on Artificial Intelligence for Applications (CAIA)
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Orlando, FL
Language:
English
Event Date*
(no longer used):
1993
Organization:
Event Start Date:
8 July 2003
Event End Date:
12 July 2003
Publisher
Name*:
IEEE
URL:
Address*:
Los Alamitos, USA
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
Pages:
263-269
Year*:
1993
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
0-1 problems arise in different areas, in particular in artificial intelligence and operations research. For many applications, a simple sub-procedure solving these problems is not sufficient. In this paper, we present the constraint logic programming language CLP(PB) which provides efficient 0-1 constraint solving within the logic programming paradigm. It is well suited for implementing various typical AI problems. CLP(PB) supports pseudo-Boolean constraints, that is equations and inequalities between integer polynomials in 0-1 variables, and pseudo-Boolean optimization, also known as 0-1 programming. We illustrate by example the advantage of pseudo-Boolean formulations versus equivalent ones in propositional logic. We also discuss constraint programming in CLP(PB) and the implementation of algorithms interacting with the current constraint set.
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
Expert
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography



BibTeX Entry:
@INPROCEEDINGS{BarthBockmayr93a,
AUTHOR = {Barth, Peter and Bockmayr, Alexander},
 TITLE = {Solving 0-1 Problems in {CLP}({{$\cal PB$}})},
 BOOKTITLE = {Proceedings 9th Conference on Artificial Intelligence for Applications ({CAIA})}},
 PUBLISHER = {IEEE},
 YEAR = {1993},
 PAGES = {263--269},
 ADDRESS = {Orlando, FL},
}

Entry last modified by Christine Kiesel, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Uwe Brahm		Created
01/14/1995 06:50:36 PM
Revisions
8.
7.
6.
5.
4.		Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE		Edit Dates
08.07.2003 15:31:04
30.08.2001 10:02:39
28.08.2001 16:31:31
14/02/95 10:49:06
30/01/95 16:11:13