Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Towards a MIP-Cut Metascheme
3. Altmetric Badge
   Chapter 2 Challenges for CPAIOR in Computational Sustainability
4. Altmetric Badge
   Chapter 3 Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
5. Altmetric Badge
   Chapter 4 On Matrices, Automata, and Double Counting
6. Altmetric Badge
   Chapter 5 The Increasing Nvalue Constraint
7. Altmetric Badge
   Chapter 6 Improving the Held and Karp Approach with Constraint Programming
8. Altmetric Badge
   Chapter 7 Characterization and Automation of Matching-Based Neighborhoods
9. Altmetric Badge
   Chapter 8 Rapid Learning for Binary Programs
10. Altmetric Badge
    Chapter 9 Hybrid Methods for the Multileaf Collimator Sequencing Problem
11. Altmetric Badge
    Chapter 10 Automatically Exploiting Subproblem Equivalence in Constraint Programming
12. Altmetric Badge
    Chapter 11 Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition
13. Altmetric Badge
    Chapter 12 Integrated Maintenance Scheduling for Semiconductor Manufacturing
14. Altmetric Badge
    Chapter 13 A Constraint Programming Approach for the Service Consolidation Problem
15. Altmetric Badge
    Chapter 14 Solving Connected Subgraph Problems in Wildlife Conservation
16. Altmetric Badge
    Chapter 15 Consistency Check for the Bin Packing Constraint Revisited
17. Altmetric Badge
    Chapter 16 A Relax-and-Cut Framework for Gomory’s Mixed-Integer Cuts
18. Altmetric Badge
    Chapter 17 An In-Out Approach to Disjunctive Optimization
19. Altmetric Badge
    Chapter 18 A SAT Encoding for Multi-dimensional Packing Problems
20. Altmetric Badge
    Chapter 19 Job Shop Scheduling with Setup Times and Maximal Time-Lags: A Simple Constraint Programming Approach
21. Altmetric Badge
    Chapter 20 On the Design of the Next Generation Access Networks
22. Altmetric Badge
    Chapter 21 Vehicle Routing for Food Rescue Programs: A Comparison of Different Approaches
23. Altmetric Badge
    Chapter 22 Constraint Programming and Combinatorial Optimisation in Numberjack
24. Altmetric Badge
    Chapter 23 Automated Configuration of Mixed Integer Programming Solvers
25. Altmetric Badge
    Chapter 24 Upper Bounds on the Number of Solutions of Binary Integer Programs
26. Altmetric Badge
    Chapter 25 Matrix Interdiction Problem
27. Altmetric Badge
    Chapter 26 Strong Combination of Ant Colony Optimization with Constraint Programming Optimization
28. Altmetric Badge
    Chapter 27 Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios
29. Altmetric Badge
    Chapter 28 Constraint Programming with Arbitrarily Large Integer Variables
30. Altmetric Badge
    Chapter 29 Constraint-Based Local Search for Constrained Optimum Paths Problems
31. Altmetric Badge
    Chapter 30 Stochastic Constraint Programming by Neuroevolution with Filtering
32. Altmetric Badge
    Chapter 31 The Weighted Spanning Tree Constraint Revisited
33. Altmetric Badge
    Chapter 32 Constraint Reasoning with Uncertain Data Using CDF-Intervals
34. Altmetric Badge
    Chapter 33 Revisiting the Soft Global Cardinality Constraint
35. Altmetric Badge
    Chapter 34 A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling
36. Altmetric Badge
    Chapter 35 Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution
37. Altmetric Badge
    Chapter 36 Massively Parallel Constraint Programming for Supercomputers: Challenges and Initial Results
38. Altmetric Badge
    Chapter 37 Boosting Set Constraint Propagation for Network Design
39. Altmetric Badge
    Chapter 38 More Robust Counting-Based Search Heuristics with Alldifferent Constraints