0

Logic-Based 0-1 Constraint Programming

Operations Research/Computer Science Interfaces Series 5

Erschienen am 01.09.2011, Auflage: 1. Auflage
CHF 127,00
(inkl. MwSt.)

Noch nicht lieferbar

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9781461285649
Sprache: Englisch

Beschreibung

InhaltsangabeForeword. Preface. 1. Introduction. 2. Constraint Logic Programming. 3. Pseudo-Boolean Constraints. 4. A Logic Cut Based Constraint Solver. 5. Pseudo-Boolean Unit Resolution. 6. Logic Cuts and Enumeration. 7. Linear Pseudo-Boolean Inequalities and Extended Clauses. 8. Simplification. 9. Linearization. 10. Projection. 11. Conclusion. References.