E-Books durchsuchen
Logic-Based 0–1 Constraint Programming [1996]
- 1
-
Introduction
- 9
-
Constraint Logic Programming
- 45
-
Pseudo-Boolean Constraints
- 75
-
A Logic Cut Based Constraint Solver
- 81
-
Pseudo-Boolean Unit Resolution
- 99
-
Logic Cuts and Enumeration
- 109
-
Linear Pseudo-Boolean Inequalities and Extended Clauses
- 163
-
Simplification
- 205
-
Linearization
- 219
-
Projection
- 229
-
Conclusion