Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Solving 0-1 Problems in CLP($\cal PB$)

Barth, P., & Bockmayr, A. (1993). Solving 0-1 Problems in CLP($\cal PB$). In Proceedings 9th Conference on Artificial Intelligence for Applications ({CAIA})} (pp. 263-269). Los Alamitos, USA: IEEE.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Barth, Peter1, Autor           
Bockmayr, Alexander1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: 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.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121993
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Los Alamitos, USA : IEEE
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519533
Anderer: Local-ID: C1256104005ECAFC-685B0F4FDABBD4AEC125614400620487-BarthBockmayr93a
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Orlando, FL
Start-/Enddatum: 2003-07-08 - 2003-07-12

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings 9th Conference on Artificial Intelligence for Applications ({CAIA})}
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Los Alamitos, USA : IEEE
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 263 - 269 Identifikator: -