Principles and Practice of Constraint Programming

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Instance Generation via Generator Instances
3. Altmetric Badge
   Chapter 2 Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints
4. Altmetric Badge
   Chapter 3 Exploring Declarative Local-Search Neighbourhoods with Constraint Programming
5. Altmetric Badge
   Chapter 4 Vehicle Routing by Learning from Historical Solutions
6. Altmetric Badge
   Chapter 5 On Symbolic Approaches for Computing the Matrix Permanent
7. Altmetric Badge
   Chapter 6 Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience
8. Altmetric Badge
   Chapter 7 Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem
9. Altmetric Badge
   Chapter 8 Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics
10. Altmetric Badge
    Chapter 9 Industrial Size Job Shop Scheduling Tackled by Present Day CP Solvers
11. Altmetric Badge
    Chapter 10 Dual Hashing-Based Algorithms for Discrete Integration
12. Altmetric Badge
    Chapter 11 Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search
13. Altmetric Badge
    Chapter 12 A Join-Based Hybrid Parameter for Constraint Satisfaction
14. Altmetric Badge
    Chapter 13 An Incremental SAT-Based Approach to the Graph Colouring Problem
15. Altmetric Badge
    Chapter 14 Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving
16. Altmetric Badge
    Chapter 15 Trimming Graphs Using Clausal Proof Optimization
17. Altmetric Badge
    Chapter 16 Improved Job Sequencing Bounds from Decision Diagrams
18. Altmetric Badge
    Chapter 17 Integration of Structural Constraints into TSP Models
19. Altmetric Badge
    Chapter 18 Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search
20. Altmetric Badge
    Chapter 19 Estimating the Number of Solutions of Cardinality Constraints Through $$\texttt {range}$$ and $$\texttt {roots}$$ Decompositions
21. Altmetric Badge
    Chapter 20 Understanding the Empirical Hardness of Random Optimisation Problems
22. Altmetric Badge
    Chapter 21 Guarded Constraint Models Define Treewidth Preserving Reductions
23. Altmetric Badge
    Chapter 22 Automatic Streamlining for Constrained Optimisation
24. Altmetric Badge
    Chapter 23 Compiling Conditional Constraints
25. Altmetric Badge
    Chapter 24 Training Binarized Neural Networks Using MIP and CP
26. Altmetric Badge
    Chapter 25 Models for Radiation Therapy Patient Scheduling
27. Altmetric Badge
    Chapter 26 Constraint Programming-Based Job Dispatching for Modern HPC Applications
28. Altmetric Badge
    Chapter 27 Scheduling of Mobile Robots Using Constraint Programming
29. Altmetric Badge
    Chapter 28 Decomposition and Cut Generation Strategies for Solving Multi-Robot Deployment Problems
30. Altmetric Badge
    Chapter 29 An Improved GPU-Based SAT Model Counter
31. Altmetric Badge
    Chapter 30 Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems
32. Altmetric Badge
    Chapter 31 A Cube Distribution Approach to QBF Solving and Certificate Minimization
33. Altmetric Badge
    Chapter 32 Functional Synthesis with Examples
34. Altmetric Badge
    Chapter 33 SolverCheck: Declarative Testing of Constraints
35. Altmetric Badge
    Chapter 34 Encodings for Enumeration-Based Program Synthesis
36. Altmetric Badge
    Chapter 35 Lemma Synthesis for Automating Induction over Algebraic Data Types
37. Altmetric Badge
    Chapter 36 Modeling Pattern Set Mining Using Boolean Circuits
38. Altmetric Badge
    Chapter 37 Differential Privacy of Hierarchical Census Data: An Optimization Approach
39. Altmetric Badge
    Chapter 38 Generic Constraint-Based Block Modeling Using Constraint Programming
40. Altmetric Badge
    Chapter 39 Reward Potentials for Planning with Learned Neural Network Transition Models
41. Altmetric Badge
    Chapter 40 Exploiting Counterfactuals for Scalable Stochastic Optimization
42. Altmetric Badge
    Chapter 41 Structure-Driven Multiple Constraint Acquisition
43. Altmetric Badge
    Chapter 42 Towards Robust Scenarios of Spatio-Temporal Renewable Energy Planning: A GIS-RO Approach
44. Altmetric Badge
    Chapter 43 Peak-Hour Rail Demand Shifting with Discrete Optimisation
45. Altmetric Badge
    Chapter 44 Functional Significance Checking in Noisy Gene Regulatory Networks