Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Constraint Programming for Dynamic Symbolic Execution of JavaScript
3. Altmetric Badge
   Chapter 2 Sequential and Parallel Solution-Biased Search for Subgraph Algorithms
4. Altmetric Badge
   Chapter 3 Core-Boosted Linear Search for Incomplete MaxSAT
5. Altmetric Badge
   Chapter 4 Binary Decision Diagrams for Bin Packing with Minimum Color Fragmentation
6. Altmetric Badge
   Chapter 5 Local Rapid Learning for Integer Programs
7. Altmetric Badge
   Chapter 6 A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming
8. Altmetric Badge
   Chapter 7 Generating Compound Moves in Local Search by Hybridisation with Complete Search
9. Altmetric Badge
   Chapter 8 SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations
10. Altmetric Badge
    Chapter 9 A Constraint Programming Approach to Electric Vehicle Routing with Time Windows
11. Altmetric Badge
    Chapter 10 A Sampling-Free Anticipatory Algorithm for the Kidney Exchange Problem
12. Altmetric Badge
    Chapter 11 Evaluating Ising Processing Units with Integer Programming
13. Altmetric Badge
    Chapter 12 Using Cost-Based Solution Densities from TSP Relaxations to Solve Routing Problems
14. Altmetric Badge
    Chapter 13 A Counting-Based Approach to Scalable Micro-service Deployment
15. Altmetric Badge
    Chapter 14 An Optimization Approach to the Ordering Phase of an Attended Home Delivery Service
16. Altmetric Badge
    Chapter 15 Consistency for 0–1 Programming
17. Altmetric Badge
    Chapter 16 An Investigation into Prediction + Optimisation for the Knapsack Problem
18. Altmetric Badge
    Chapter 17 The Maximum Weighted Submatrix Coverage Problem: A CP Approach
19. Altmetric Badge
    Chapter 18 Learning MILP Resolution Outcomes Before Reaching Time-Limit
20. Altmetric Badge
    Chapter 19 An Improved Subsumption Testing Algorithm for the Optimal-Size Sorting Network Problem
21. Altmetric Badge
    Chapter 20 Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling
22. Altmetric Badge
    Chapter 21 An Approach to Robustness in the Stable Roommates Problem and Its Comparison with the Stable Marriage Problem
23. Altmetric Badge
    Chapter 22 Optimality Clue for Graph Coloring Problem
24. Altmetric Badge
    Chapter 23 Computing Wasserstein Barycenters via Linear Programming
25. Altmetric Badge
    Chapter 24 Repairing Learned Controllers with Convex Optimization: A Case Study
26. Altmetric Badge
    Chapter 25 A Hybrid Approach for Exact Coloring of Massive Graphs
27. Altmetric Badge
    Chapter 26 Modelling and Solving the Minimum Shift Design Problem
28. Altmetric Badge
    Chapter 27 A Computational Comparison of Optimization Methods for the Golomb Ruler Problem
29. Altmetric Badge
    Chapter 28 A New CP-Approach for a Parallel Machine Scheduling Problem with Time Constraints on Machine Qualifications
30. Altmetric Badge
    Chapter 29 Efficient Solution Methods for the Cumulative-Interference Channel Assignment Problem Using Integer Optimization and Constraint Programming
31. Altmetric Badge
    Chapter 30 Heat Exchanger Circuitry Design by Decision Diagrams
32. Altmetric Badge
    Chapter 31 Column Generation for Real-Time Ride-Sharing Operations
33. Altmetric Badge
    Chapter 32 Some Experiments with Submodular Function Maximization via Integer Programming
34. Altmetric Badge
    Chapter 33 Metric Hybrid Factored Planning in Nonlinear Domains with Constraint Generation
35. Altmetric Badge
    Chapter 34 Last-Mile Scheduling Under Uncertainty
36. Altmetric Badge
    Chapter 35 Building Optimal Steiner Trees on Supercomputers by Using up to 43,000 Cores
37. Altmetric Badge
    Chapter 36 Deep Inverse Optimization
38. Altmetric Badge
    Chapter 37 A Study on the Traveling Salesman Problem with a Drone
39. Altmetric Badge
    Chapter 38 Lower Bounds for Uniform Machine Scheduling Using Decision Diagrams
40. Altmetric Badge
    Chapter 39 Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams
41. Altmetric Badge
    Chapter 40 Arc Consistency Revisited
42. Altmetric Badge
    Chapter 41 Embedding Decision Diagrams into Generative Adversarial Networks
43. Altmetric Badge
    Chapter 42 Time Table Edge Finding with Energy Variables
44. Altmetric Badge
    Chapter 43 Quadratic Reformulation of Nonlinear Pseudo-Boolean Functions via the Constraint Composite Graph