Skip to main content
  • Conference proceedings
  • © 2016

Integration of AI and OR Techniques in Constraint Programming

13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings

Conference proceedings info: CPAIOR 2016.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and 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

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

Table of contents (29 papers)

  1. Constructions and In-Place Operations for MDDs Based Constraints

    • Guillaume Perez, Jean-Charles Régin
    Pages 279-293
  2. Designing Spacecraft Command Loops Using Two-Dimension Vehicle Routing

    • Eliott Roynette, Bertrand Cabon, Cédric Pralet, Vincent Vidal
    Pages 303-318
  3. Constraint Programming Approach for Spatial Packaging Problem

    • Abdelilah Sakti, Lawrence Zeidner, Tarik Hadzic, Brian St. Rock, Giusi Quartarone
    Pages 319-328
  4. Detecting Semantic Groups in MIP Models

    • Domenico Salvagnin
    Pages 329-341
  5. Revisiting Two-Sided Stability Constraints

    • Mohamed Siala, Barry O’Sullivan
    Pages 342-357
  6. Optimal Flood Mitigation over Flood Propagation Approximations

    • Byron Tasseff, Russell Bent, Pascal Van Hentenryck
    Pages 358-373
  7. A Bit-Vector Solver with Word-Level Propagation

    • Wenxi Wang, Harald Søndergaard, Peter J. Stuckey
    Pages 374-391
  8. A New Solver for the Minimum Weighted Vertex Cover Problem

    • Hong Xu, T. K. Satish Kumar, Sven Koenig
    Pages 392-405
  9. Optimal Upgrading Schemes for Effective Shortest Paths in Networks

    • Eduardo Álvarez-Miranda, Martin Luipersbeck, Markus Sinnl
    Pages 406-420
  10. Back Matter

    Pages 421-421

Other Volumes

  1. Integration of AI and OR Techniques in Constraint Programming

About this book

This book constitutes the proceedings of the 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2016, held in Banff, Canada, in May/June 2016.

The 21 full papers presented together with 8 short papers were carefully reviewed and selected from 51 submissions. The conference brings together interested researchers from constraint programming, artificial intelligence, and operations research to present new techniques or applications in combinatorial optimization and provides an opportunity for researchers in one area to learn about techniques in the others, and to show how the integration of techniques from different fields can lead to interesting results on large and complex problems.

Editors and Affiliations

  • Université Laval, Quebec, Canada

    Claude-Guy Quimper

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and 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