Integration of AI and OR Techniques in Constraint Programming

1. Front Matter

   PDF

2. Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman

   • Thierry Benoist, Antoine Jeanjean, Vincent Jost

   Pages 1-14

3. Stable Roommates and Constraint Programming

   • Patrick Prosser

   Pages 15-28

4. Detecting and Exploiting Permutation Structures in MIPs

   • Domenico Salvagnin

   Pages 29-44

5. Solving the Quorumcast Routing Problem as a Mixed Integer Program

   • Quoc Trung Bui, Quang Dung Pham, Yves Deville

   Pages 45-54

6. A New MIP Model for Parallel-Batch Scheduling with Non-identical Job Sizes

   • Sebastian Kosch, J. Christopher Beck

   Pages 55-70

7. Mining (Soft-) Skypatterns Using Dynamic CSP

   • Willy Ugarte Rojas, Patrice Boizumault, Samir Loudni, Bruno Crémilleux, Alban Lepailleur

   Pages 71-87

8. Modelling with Option Types in MiniZinc

   • Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace

   Pages 88-103

9. Interactive Design of Sustainable Cities with a Distributed Local Search Solver

   • Bruno Belin, Marc Christie, Charlotte Truchet

   Pages 104-119

10. Sliced Table Constraints: Combining Compression and Tabular Reduction

    • Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel

    Pages 120-135

11. The PrePack Optimization Problem

    • Maxim Hoskins, Renaud Masson, Gabrielle Gauthier Melançon, Jorge E. Mendoza, Christophe Meyer, Louis-Martin Rousseau

    Pages 136-143

12. An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments

    • Jeffrey Larson, Mikael Johansson, Mats Carlsson

    Pages 144-158

13. Local Search for a Cargo Assembly Planning Problem

    • Gleb Belov, Natashia Boland, Martin W. P. Savelsbergh, Peter J. Stuckey

    Pages 159-175

14. A Logic Based Benders’ Approach to the Concrete Delivery Problem

    • Joris Kinable, Michael Trick

    Pages 176-192

15. Evaluating CP Techniques to Plan Dynamic Resource Provisioning in Distributed Stream Processing

    • Andrea Reale, Paolo Bellavista, Antonio Corradi, Michela Milano

    Pages 193-209

16. Disregarding Duration Uncertainty in Partial Order Schedules? Yes, We Can!

    • Alessio Bonfietti, Michele Lombardi, Michela Milano

    Pages 210-225

17. An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique Problem

    • Ciaran McCreesh, Patrick Prosser

    Pages 226-234

18. Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency

    • Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre

    Pages 235-250

19. Representative Encodings to Translate Finite CSPs into SAT

    • Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen

    Pages 251-267

20. SAT and Hybrid Models of the Car Sequencing Problem

    • Christian Artigues, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala, Toby Walsh

    Pages 268-283

This book constitutes the proceedings of the International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2014, held in Cork, Ireland, in May 2014. The 33 papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers focus on constraint programming and global constraints; scheduling modelling; encodings and SAT logistics; MIP; CSP and complexity; parallelism and search; and data mining and machine learning.

• artificial intelligence
• combinatorial optimization
• comparison of models
• constraint and logic programming
• constraint and logic programming
• dynamic programming
• dynamic programming
• graph algorithms
• heuristic functions construction
• heuristic functions construction
• modeling methodologies
• modeling methodologies
• operations research
• optimization
• search methodologies
• static analysis
• static analysis
• uncertainty
• algorithm analysis and problem complexity

• University College Cork, Ireland

  Helmut Simonis

Policies and ethics