Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 DetailsÜbersicht
  Finite domain and cutting plane techniques in CLP($\cal PB$)

Barth, P., & Bockmayr, A. (1995). Finite domain and cutting plane techniques in CLP($\cal PB$). In L. Sterling (Ed.), Proceedings of the Twelfth International Conference on Logic Programming (pp. 133-147). Cambridge, USA: MIT Press.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ACFC-F Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ACFD-D
Genre: Konferenzbeitrag

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: 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, ensuring local consistency is not enough 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 \clppb, 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.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121995
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Cambridge, USA : MIT Press
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519493
Anderer: Local-ID: C1256104005ECAFC-35CC0CD6B3EE31A7C125648F007D78E3-BarthBockmayr-ICLP95
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Shonan Village Center, Hayama-Machi, Kanagawa, Japan
Start-/Enddatum: 1995

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the Twelfth International Conference on Logic Programming
Genre der Quelle: Konferenzband
 Urheber:
Sterling, Leon, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Cambridge, USA : MIT Press
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 133 - 147 Identifikator: ISBN: 0-262-69177-9 1061-0464

Quelle 2

einblenden:
ausblenden:
Titel: Logic Programming
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -