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.