Logic-based 0-1 constraint programming /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Boston :
Kluwer Academic Publishers,
c1996.
|
| Subjects: |
Table of Contents:
- 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.