Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 DetailsÜbersicht
  Solving pseudo-Boolean constraints

Bockmayr, A. (1995). Solving pseudo-Boolean constraints. In A. Podelski (Ed.), Constraint Programming: Basics and Trends (pp. 22-38). Berlin, Germany: Springer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AD1C-0 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AD1D-E
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

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

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Pseudo-Boolean constraints are equations or inequalities between integer polynomials in 0-1 variables. On the one hand, they generalize Boolean constraints, on the other hand, they are a restricted form of finite domain constraints. In this paper, we present special constraint solving techniques for the domain {0,1} originating from mathematical programming. The key concepts are the generation of strong valid inequalities for the solution set of a constraint system and the notion of branch-and-cut.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121995
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Berlin, Germany : Springer
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519534
Anderer: Local-ID: C1256104005ECAFC-6916EDA86876454EC12562E0004E4C01-Bockmayr95a
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Châtillon-sur-Seine
Start-/Enddatum: 1995

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Constraint Programming: Basics and Trends
Genre der Quelle: Konferenzband
 Urheber:
Podelski, Andreas1, Herausgeber           
Affiliations:
1 Programming Logics, MPI for Informatics, Max Planck Society, ou_40045            
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 22 - 38 Identifikator: ISBN: 3-540-59155-9

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -