Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Integration of AI and OR Techniques in Constraint Programming

11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Helmut Simonis

    1. University College Cork, Ireland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8451)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CPAIOR 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (33 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. Integration of AI and OR Techniques in Constraint Programming

Editors and Affiliations

  • University College Cork, Ireland

    Helmut Simonis

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation