Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Optimization for Policy Making: The Cornerstone for an Integrated Approach
3. Altmetric Badge
   Chapter 2 Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning
4. Altmetric Badge
   Chapter 3 Those Who Cannot Remember the Past Are Condemned to Repeat It
5. Altmetric Badge
   Chapter 4 Decide Different!
6. Altmetric Badge
   Chapter 5 The Objective-CP Optimization System
7. Altmetric Badge
   Chapter 6 Parallel Discrepancy-Based Search
8. Altmetric Badge
   Chapter 7 Bin Packing with Linear Usage Costs – An Application to Energy Management in Data Centres
9. Altmetric Badge
   Chapter 8 Filtering AtMostNValue with Difference Constraints: Application to the Shift Minimisation Personnel Task Scheduling Problem
10. Altmetric Badge
    Chapter 9 A parametric approach for smaller and better encodings of cardinality constraints
11. Altmetric Badge
    Chapter 10 To Encode or to Propagate? The Best Choice for Each Constraint in SAT
12. Altmetric Badge
    Chapter 11 Automated Symmetry Breaking and Model Selection in Conjure
13. Altmetric Badge
    Chapter 12 Improving WPM2 for (Weighted) Partial MaxSAT
14. Altmetric Badge
    Chapter 13 MinSAT versus MaxSAT for Optimization Problems
15. Altmetric Badge
    Chapter 14 Adaptive Parameterized Consistency
16. Altmetric Badge
    Chapter 15 Global Inverse Consistency for Interactive Constraint Satisfaction
17. Altmetric Badge
    Chapter 16 Counting Spanning Trees to Guide Search in Constrained Spanning Tree Problems
18. Altmetric Badge
    Chapter 17 On the Reduction of the CSP Dichotomy Conjecture to Digraphs
19. Altmetric Badge
    Chapter 18 A Scalable Approximate Model Counter
20. Altmetric Badge
    Chapter 19 Dominance Driven Search
21. Altmetric Badge
    Chapter 20 Tractable Combinations of Global Constraints
22. Altmetric Badge
    Chapter 21 Postponing Optimization to Speed Up MAXSAT Solving
23. Altmetric Badge
    Chapter 22 Dead-End Elimination for Weighted CSP
24. Altmetric Badge
    Chapter 23 Solving Weighted CSPs by Successive Relaxations
25. Altmetric Badge
    Chapter 24 Constraint-Based Program Reasoning with Heaps and Separation
26. Altmetric Badge
    Chapter 25 Model Combinators for Hybrid Optimization
27. Altmetric Badge
    Chapter 26 Modelling Destructive Assignments
28. Altmetric Badge
    Chapter 27 An Improved Search Algorithm for Min-Perturbation
29. Altmetric Badge
    Chapter 28 Explaining Propagators for Edge-Valued Decision Diagrams
30. Altmetric Badge
    Chapter 29 A Simple and Effective Decomposition for the Multidimensional Binpacking Constraint
31. Altmetric Badge
    Chapter 30 Maintaining Soft Arc Consistencies in BnB-ADOPT +  during Search
32. Altmetric Badge
    Chapter 31 Solving String Constraints: The Case for Constraint Programming
33. Altmetric Badge
    Chapter 32 Blowing Holes in Various Aspects of Computational Problems, with Applications to Constraint Satisfaction
34. Altmetric Badge
    Chapter 33 Solving QBF with Free Variables
35. Altmetric Badge
    Chapter 34 Globalizing Constraint Models
36. Altmetric Badge
    Chapter 35 A New Propagator for Two-Layer Neural Networks in Empirical Model Learning
37. Altmetric Badge
    Chapter 36 Bandit-Based Search for Constraint Programming
38. Altmetric Badge
    Chapter 37 Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability
39. Altmetric Badge
    Chapter 38 Multi-Objective Constraint Optimization with Tradeoffs
40. Altmetric Badge
    Chapter 39 Multidimensional Bin Packing Revisited
41. Altmetric Badge
    Chapter 40 A Parametric Propagator for Discretely Convex Pairs of Sum Constraints
42. Altmetric Badge
    Chapter 41 Breaking Symmetry with Different Orderings
43. Altmetric Badge
    Chapter 42 Time-Table Extended-Edge-Finding for the Cumulative Constraint
44. Altmetric Badge
    Chapter 43 Revisiting the Cardinality Reasoning for BinPacking Constraint
45. Altmetric Badge
    Chapter 44 Value Interchangeability in Scenario Generation
46. Altmetric Badge
    Chapter 45 Embarrassingly Parallel Search
47. Altmetric Badge
    Chapter 46 Multi-Objective Large Neighborhood Search
48. Altmetric Badge
    Chapter 47 Scheduling Optional Tasks with Explanation
49. Altmetric Badge
    Chapter 48 Residential Demand Response under Uncertainty
50. Altmetric Badge
    Chapter 49 Lifting Structural Tractability to CSP with Global Constraints
51. Altmetric Badge
    Chapter 50 Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers
52. Altmetric Badge
    Chapter 51 Primal and Dual Encoding from Applications into Quantified Boolean Formulas
53. Altmetric Badge
    Chapter 52 Asynchronous Forward Bounding Revisited
54. Altmetric Badge
    Chapter 53 Optimizing STR Algorithms with Tuple Compression
55. Altmetric Badge
    Chapter 54 Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker
56. Altmetric Badge
    Chapter 55 Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search
57. Altmetric Badge
    Chapter 56 Constraint-Based Approaches for Balancing Bike Sharing Systems
58. Altmetric Badge
    Chapter 57 Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems
59. Altmetric Badge
    Chapter 58 Laser Cutting Path Planning Using CP
60. Altmetric Badge
    Chapter 59 Atom Mapping with Constraint Programming
61. Altmetric Badge
    Chapter 60 Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification
62. Altmetric Badge
    Chapter 61 Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks
63. Altmetric Badge
    Chapter 62 Automatic Generation and Delivery of Multiple-Choice Math Quizzes
64. Altmetric Badge
    Chapter 63 Constrained Wine Blending
65. Altmetric Badge
    Chapter 64 The Berth Allocation and Quay Crane Assignment Problem Using a CP Approach