Skip to main content
  • Conference proceedings
  • © 2017

Integration of AI and OR Techniques in Constraint Programming

14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings

Editors:

(view affiliations)

Conference proceedings info: CPAIOR 2017.

Buying options

eBook
USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-59776-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 84.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (32 papers)

  1. Front Matter

    Pages I-XXIII
  2. Technical Papers

    1. Front Matter

      Pages 1-1
    2. Sharpening Constraint Programming Approaches for Bit-Vector Theory

      • Zakaria Chihani, Bruno Marre, François Bobot, Sébastien Bardin
      Pages 3-20
    3. Range-Consistent Forbidden Regions of Allen’s Relations

      • Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud’homme, Andreas Schutt, Peter J. Stuckey
      Pages 21-29
    4. On Finding the Optimal BDD Relaxation

      • David Bergman, Andre Augusto Cire
      Pages 41-50
    5. Design and Implementation of Bounded-Length Sequence Variables

      • Joseph D. Scott, Pierre Flener, Justin Pearson, Christian Schulte
      Pages 51-67
    6. In Search of Balance: The Challenge of Generating Balanced Latin Rectangles

      • Mateo Díaz, Ronan Le Bras, Carla Gomes
      Pages 68-76
    7. Debugging Unsatisfiable Constraint Models

      • Kevin Leo, Guido Tack
      Pages 77-93
    8. Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery

      • Junwen Bai, Johan Bjorck, Yexiang Xue, Santosh K. Suram, John Gregoire, Carla Gomes
      Pages 104-112
    9. Minimizing Landscape Resistance for Habitat Conservation

      • Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
      Pages 113-130
    10. A Hybrid Approach for Stator Winding Design Optimization

      • Alessandro Zanarini, Jan Poland
      Pages 131-146
    11. A Distributed Optimization Method for the Geographically Distributed Data Centres Problem

      • Mohamed Wahbi, Diarmuid Grimes, Deepak Mehta, Kenneth N. Brown, Barry O’Sullivan
      Pages 147-166
    12. Explanation-Based Weighted Degree

      • Emmanuel Hebrard, Mohamed Siala
      Pages 167-175
    13. The Weighted Arborescence Constraint

      • Vinasetan Ratheil Houndji, Pierre Schaus, Mahouton Norbert Hounkonnou, Laurence Wolsey
      Pages 185-201
    14. Learning When to Use a Decomposition

      • Markus Kruber, Marco E. Lübbecke, Axel Parmentier
      Pages 202-210
    15. Experiments with Conflict Analysis in Mixed Integer Programming

      • Jakob Witzig, Timo Berthold, Stefan Heinz
      Pages 211-220
    16. A First Look at Picking Dual Variables for Maximizing Reduced Cost Fixing

      • Omid Sanei Bajgiran, Andre A. Cire, Louis-Martin Rousseau
      Pages 221-228

Other Volumes

  1. Integration of AI and OR Techniques in Constraint Programming

    14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings

About this book

This book constitutes the proceedings of the 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2017, held in Padua, Italy, in June 2017.

The 32 full papers presented together with 6 abstracts were carefully reviewed and selected from numerous submissions. The conference brings together interested researchers from constraint programming, artificial intelligence, and operations research to present new techniques or applications in the intersection of these fields 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.

Keywords

  • Combinatorial Optimization
  • Mathematical Optimization
  • Constraint and Logic Programming
  • Artificial Intelligence
  • Machine Learning
  • Search Methodologies
  • Operations Research
  • Planning and Scheduling
  • Problem Solving
  • Constraint Theory
  • Linear Programming
  • Dynamic Programming
  • data structures
  • algorithm analysis and problem complexity

Editors and Affiliations

  • University of Padua, Padua, Italy

    Domenico Salvagnin

  • University of Bologna, Bologna, Italy

    Michele Lombardi

Bibliographic Information

Buying options

eBook
USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-59776-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 84.99
Price excludes VAT (USA)