Principles and Practice of Constraint Programming – CP 2010

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering
3. Altmetric Badge
   Chapter 2 Constraint-Directed Search in Computational Finance and Economics
4. Altmetric Badge
   Chapter 3 Constraints, Graphs, Algebra, Logic, and Complexity
5. Altmetric Badge
   Chapter 4 Testing Expressibility Is Hard
6. Altmetric Badge
   Chapter 5 Applying Constraint Programming to Identification and Assignment of Service Professionals
7. Altmetric Badge
   Chapter 6 Computing the Density of States of Boolean Formulas
8. Altmetric Badge
   Chapter 7 Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP
9. Altmetric Badge
   Chapter 8 Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity
10. Altmetric Badge
    Chapter 9 Improving the Performance of maxRPC
11. Altmetric Badge
    Chapter 10 Checking-Up on Branch-and-Check
12. Altmetric Badge
    Chapter 11 Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows
13. Altmetric Badge
    Chapter 12 Principles and Practice of Constraint Programming – CP 2010
14. Altmetric Badge
    Chapter 13 Propagating the Bin Packing Constraint Using Linear Programming
15. Altmetric Badge
    Chapter 14 Sweeping with Continuous Domains
16. Altmetric Badge
    Chapter 15 A New Hybrid Tractable Class of Soft Constraint Problems
17. Altmetric Badge
    Chapter 16 A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies
18. Altmetric Badge
    Chapter 17 Using Learnt Clauses in maxsat
19. Altmetric Badge
    Chapter 18 Domain Consistency with Forbidden Values
20. Altmetric Badge
    Chapter 19 Generating Special-Purpose Stateless Propagators for Arbitrary Constraints
21. Altmetric Badge
    Chapter 20 Including Ordinary Differential Equations Based Constraints in the Standard CP Framework
22. Altmetric Badge
    Chapter 21 Structural Tractability of Enumerating CSP Solutions
23. Altmetric Badge
    Chapter 22 Diversification and Intensification in Parallel SAT Solving
24. Altmetric Badge
    Chapter 23 A Systematic Approach to MDD-Based Constraint Programming
25. Altmetric Badge
    Chapter 24 A Complete Multi-valued SAT Solver
26. Altmetric Badge
    Chapter 25 Exact Cover via Satisfiability: An Empirical Study
27. Altmetric Badge
    Chapter 26 Principles and Practice of Constraint Programming – CP 2010
28. Altmetric Badge
    Chapter 27 Principles and Practice of Constraint Programming – CP 2010
29. Altmetric Badge
    Chapter 28 On Testing Constraint Programs
30. Altmetric Badge
    Chapter 29 On the Containment of Forbidden Patterns Problems
31. Altmetric Badge
    Chapter 30 Improving the Floating Point Addition and Subtraction Constraints
32. Altmetric Badge
    Chapter 31 The Lattice Structure of Sets of Surjective Hyper-Operations
33. Altmetric Badge
    Chapter 32 Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution
34. Altmetric Badge
    Chapter 33 Local Consistency and SAT-Solvers
35. Altmetric Badge
    Chapter 34 Heuristics for Planning with SAT
36. Altmetric Badge
    Chapter 35 Value-Ordering Heuristics: Search Performance vs. Solution Diversity
37. Altmetric Badge
    Chapter 36 A New ${\mathcal O}(n^2\log n)$ Not-First/Not-Last Pruning Algorithm for Cumulative Resource Constraints
38. Altmetric Badge
    Chapter 37 A Generic Visualization Platform for CP
39. Altmetric Badge
    Chapter 38 Database Constraints and Homomorphism Dualities
40. Altmetric Badge
    Chapter 39 A Box-Consistency Contractor Based on Extremal Functions
41. Altmetric Badge
    Chapter 40 Exponential Propagation for Set Variables
42. Altmetric Badge
    Chapter 41 An Empirical Study of Optimization for Maximizing Diffusion in Networks
43. Altmetric Badge
    Chapter 42 An Integrated Modelling, Debugging, and Visualisation Environment for G12
44. Altmetric Badge
    Chapter 43 Global Constraints on Feature Models
45. Altmetric Badge
    Chapter 44 Constraint Programming for Mining n-ary Patterns
46. Altmetric Badge
    Chapter 45 An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management
47. Altmetric Badge
    Chapter 46 Context-Sensitive Call Control Using Constraints and Rules
48. Altmetric Badge
    Chapter 47 Load Balancing and Almost Symmetries for RAMBO Quorum Hosting
49. Altmetric Badge
    Chapter 48 Testing Continuous Double Auctions with a Constraint-Based Oracle
50. Altmetric Badge
    Chapter 49 A Safe and Flexible CP-Based Approach for Velocity Tuning Problems
51. Altmetric Badge
    Chapter 50 Contingency Plans for Air Traffic Management