Principles and Practice of Constraint Programming – CP 2000

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Constraint-Based Agents: The ABC’s of CBA’s
3. Altmetric Badge
   Chapter 2 Constraints for Interactive Graphical Applications
4. Altmetric Badge
   Chapter 3 Meta-complexity Theorems: Talk Abstract
5. Altmetric Badge
   Chapter 4 Automatic Generation of Propagation Rules for Finite Domains
6. Altmetric Badge
   Chapter 5 Extending Forward Checking
7. Altmetric Badge
   Chapter 6 Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type
8. Altmetric Badge
   Chapter 7 Universally Quantified Interval Constraints
9. Altmetric Badge
   Chapter 8 Constraint Propagation for Soft Constraints: Generalization and Termination Conditions
10. Altmetric Badge
    Chapter 9 Constraints Inference Channels and Secure Databases
11. Altmetric Badge
    Chapter 10 Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints
12. Altmetric Badge
    Chapter 11 A Language for Audiovisual Template Specification and Recognition
13. Altmetric Badge
    Chapter 12 Random 3-SAT: The Plot Thickens
14. Altmetric Badge
    Chapter 13 New Tractable Classes from Old
15. Altmetric Badge
    Chapter 14 Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees
16. Altmetric Badge
    Chapter 15 Cutting Planes in Constraint Programming: An Hybrid Approach
17. Altmetric Badge
    Chapter 16 A Constraint-Based Framework for Prototyping Distributed Virtual Applications
18. Altmetric Badge
    Chapter 17 A Scalable Linear Constraint Solver for User Interface Construction
19. Altmetric Badge
    Chapter 18 A Constraint Programming Approach for Solving Rigid Geometric Systems
20. Altmetric Badge
    Chapter 19 Maintaining Arc-Consistency within Dynamic Backtracking
21. Altmetric Badge
    Chapter 20 New Search Heuristics for Max-CSP
22. Altmetric Badge
    Chapter 21 Analysis of Random Noise and Random Walk Algorithms for Satisfiability Testing
23. Altmetric Badge
    Chapter 22 Boosting Search with Variable Elimination
24. Altmetric Badge
    Chapter 23 Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint
25. Altmetric Badge
    Chapter 24 Practical Investigation of Constraints with Graph Views
26. Altmetric Badge
    Chapter 25 A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences
27. Altmetric Badge
    Chapter 26 Singleton Consistencies
28. Altmetric Badge
    Chapter 27 Linear Formulation of Constraint Programming Models and Hybrid Solvers
29. Altmetric Badge
    Chapter 28 A Global Constraint Combining a Sum Constraint and Difference Constraints
30. Altmetric Badge
    Chapter 29 Efficient Querying of Periodic Spatiotemporal Objects
31. Altmetric Badge
    Chapter 30 Arc Consistency for Soft Constraints
32. Altmetric Badge
    Chapter 31 Optimal Anytime Constrained Simulated Annealing for Constrained Global Optimization
33. Altmetric Badge
    Chapter 32 SAT v CSP
34. Altmetric Badge
    Chapter 33 Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies
35. Altmetric Badge
    Chapter 34 Arc Consistency on n -ary Monotonic and Linear Constraints
36. Altmetric Badge
    Chapter 35 Some Observations on Durations, Scheduling and Allen’s Algebra
37. Altmetric Badge
    Chapter 36 Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability
38. Altmetric Badge
    Chapter 37 Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances
39. Altmetric Badge
    Chapter 38 Branching Constraint Satisfaction Problems for Solutions Robust under Likely Changes
40. Altmetric Badge
    Chapter 39 Constraint Propagation: Between Abstract Models and ad hoc Strategies
41. Altmetric Badge
    Chapter 40 How to Model and Verify Concurrent Algorithms for Distributed CSPs
42. Altmetric Badge
    Chapter 41 The Phase Transition in Distributed Constraint Satisfaction Problems: First Results
43. Altmetric Badge
    Chapter 42 Cooperating Constraint Solvers
44. Altmetric Badge
    Chapter 43 An Empirical Study of Probabilistic Arc Consistency as a Variable Ordering Heuristic
45. Altmetric Badge
    Chapter 44 On Dual Encodings for Non-binary Constraint Satisfaction Problems
46. Altmetric Badge
    Chapter 45 Algebraic Simplification Techniques for Propositional Satisfiability
47. Altmetric Badge
    Chapter 46 An Original Constraint Based Approach for Solving over Constrained Problems
48. Altmetric Badge
    Chapter 47 An Efficient Approximate Algorithm for Winner Determination in Combinatorial Auctions