Principles and Practice of Constraint Programming – CP’99

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 The Rough Guide to Constraint Propagation
3. Altmetric Badge
   Chapter 2 Non-binary Constraints
4. Altmetric Badge
   Chapter 3 The Theory of Discrete Lagrange Multipliers for Nonlinear Discrete Optimization
5. Altmetric Badge
   Chapter 4 Operational Equivalence of CHR Programs and Constraints
6. Altmetric Badge
   Chapter 5 Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains
7. Altmetric Badge
   Chapter 6 Excluding Symmetries in Constraint-Based Search
8. Altmetric Badge
   Chapter 7 On Forward Checking for Non-binary Constraint Satisfaction
9. Altmetric Badge
   Chapter 8 Enforcing Arc Consistency on Global Constraints by Solving Subproblems on the Fly
10. Altmetric Badge
    Chapter 9 Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP
11. Altmetric Badge
    Chapter 10 Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time
12. Altmetric Badge
    Chapter 11 A Meta-Heuristic Factory for Vehicle Routing Problems
13. Altmetric Badge
    Chapter 12 Closure Functions and Width 1 Problems
14. Altmetric Badge
    Chapter 13 An Overview of HAL
15. Altmetric Badge
    Chapter 14 Cost-Based Domain Filtering
16. Altmetric Badge
    Chapter 15 Resource Allocation in Networks Using Abstraction and Constraint Satisfaction Techniques
17. Altmetric Badge
    Chapter 16 Optimal Distributed Arc-Consistency
18. Altmetric Badge
    Chapter 17 The Goldilocks Problem
19. Altmetric Badge
    Chapter 18 Multistep Filtering Operators for Ordinary Differential Equations
20. Altmetric Badge
    Chapter 19 A Framework for Constraint Programming Based Column Generation
21. Altmetric Badge
    Chapter 20 Improving a Heuristic Repair Method for Large-Scale School Timetabling Problems
22. Altmetric Badge
    Chapter 21 Applying Constraint Programming to Protein Structure Determination
23. Altmetric Badge
    Chapter 22 Partition-Based Lower Bound for Max-CSP
24. Altmetric Badge
    Chapter 23 Constraint Diagram Reasoning
25. Altmetric Badge
    Chapter 24 Automatic Generation of Music Programs
26. Altmetric Badge
    Chapter 25 Search Procedures and Parallelism in Constraint Programming
27. Altmetric Badge
    Chapter 26 Ensuring a Relevant Visiting Order of the Leaf Nodes during a Tree Search
28. Altmetric Badge
    Chapter 27 Tight Cooperation and Its Application in Piecewise Linear Optimization
29. Altmetric Badge
    Chapter 28 Arc Consistency for Global Cardinality Constraints with Costs
30. Altmetric Badge
    Chapter 29 The Brélaz Heuristic and Optimal Static Orderings
31. Altmetric Badge
    Chapter 30 A Fixpoint Definition of Dynamic Constraint Satisfaction
32. Altmetric Badge
    Chapter 31 Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation
33. Altmetric Badge
    Chapter 32 On the Behavior and Application of Constraint Weighting
34. Altmetric Badge
    Chapter 33 Simulated Annealing with Asymptotic Convergence for Nonlinear Constrained Global Optimization
35. Altmetric Badge
    Chapter 34 On SAT01 Problem
36. Altmetric Badge
    Chapter 35 An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support
37. Altmetric Badge
    Chapter 36 CSPlib: A Benchmark Library for Constraints
38. Altmetric Badge
    Chapter 37 Validated Constraint Compilation
39. Altmetric Badge
    Chapter 38 Automated Theorem Proving with Disjunctive Constraints
40. Altmetric Badge
    Chapter 39 Rewriting Numeric Constraint Satisfaction Problems for Consistency Algorithms
41. Altmetric Badge
    Chapter 40 Intelligent Domain Splitting for CSPs with Ordered Domains
42. Altmetric Badge
    Chapter 41 Frequency Assignment for Cellular Mobile Systems Using Constraint Satisfaction Techniques