Skip to main content
SpringerLink
Log in

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
  • © 2016

Overview

Editors:
  1. Claude-Guy Quimper

    1. Université Laval, Quebec, Canada

    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 9676)

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

Included in the following conference series:

Conference proceedings info: CPAIOR 2016.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Pages I-XIX
    Download chapter PDF

  2. On CNF Encodings of Decision Diagrams

    • Ignasi Abío, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey
    Pages 1-17

  3. Time-Series Constraints: Improvements and Application in CP and MIP Contexts

    • Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson et al.
    Pages 18-34

  4. Finding a Collection of MUSes Incrementally

    • Fahiem Bacchus, George Katsirelos
    Pages 35-44

  5. Decomposition Based on Decision Diagrams

    • David Bergman, Andre A. Cire
    Pages 45-54

  6. Logic-Based Decomposition Methods for the Travelling Purchaser Problem

    • Kyle E. C. Booth, Tony T. Tran, J. Christopher Beck
    Pages 55-64

  7. Lagrangian Decomposition via Sub-problem Search

    • Geoffrey Chu, Graeme Gange, Peter J. Stuckey
    Pages 65-80

  8. Non-linear Optimization of Business Models in the Electricity Market

    • Allegra De Filippo, Michele Lombardi, Michela Milano
    Pages 81-97

  9. Weighted Spanning Tree Constraint with Explanations

    • Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
    Pages 98-107

  10. Forward-Checking Filtering for Nested Cardinality Constraints: Application to an Energy Cost-Aware Production Planning Problem for Tissue Manufacturing

    • Cyrille Dejemeppe, Olivier Devolder, Victor Lecomte, Pierre Schaus
    Pages 108-124

  11. Cyclic Routing of Unmanned Aerial Vehicles

    • Nir Drucker, Michal Penn, Ofer Strichman
    Pages 125-141

  12. Parallelizing Constraint Programming with Learning

    • Thorsten Ehlers, Peter J. Stuckey
    Pages 142-158

  13. Parallel Composition of Scheduling Solvers

    • Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck
    Pages 159-169

  14. Rail Capacity Modelling with Constraint Programming

    • Daniel Harabor, Peter J. Stuckey
    Pages 170-186

  15. Scheduling Home Hospice Care with Logic-Based Benders Decomposition

    • Aliza Heching, John N. Hooker
    Pages 187-197

  16. A Global Constraint for Mining Sequential Patterns with GAP Constraint

    • Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois
    Pages 198-215

  17. A Reservoir Balancing Constraint with Applications to Bike-Sharing

    • Joris Kinable
    Pages 216-228

  18. Optimization Models for a Real-World Snow Plow Routing Problem

    • Joris Kinable, Willem-Jan van Hoeve, Stephen F. Smith
    Pages 229-245

  19. The TaskIntersection Constraint

    • Gilles Madi Wamba, Nicolas Beldiceanu
    Pages 246-261

  20. A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems

    • Thierry Martinez, François Fages, Abder Aggoun
    Pages 262-278
Back to top

Other volumes

  1. Integration of AI and OR Techniques in Constraint Programming

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation