Skip to main content
SpringerLink
Log in
Book cover

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Carla Gomes

    1. Department of Computer Science, Cornell University, Ithaca, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Meinolf Sellmann

    1. Thomas J. Watson Research Center, Yorktown Heights, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast track conference proceedings
  • State-of-the art report

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

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

Included in the following conference series:

Conference proceedings info: CPAIOR 2013.

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 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 (31 papers)

  1. Front Matter

    Download chapter PDF

  2. Stronger Inference through Implied Literals from Conflicts and Knapsack Covers

    • Tobias Achterberg, Ashish Sabharwal, Horst Samulowitz
    Pages 1-11

  3. Recent Improvements Using Constraint Integer Programming for Resource Allocation and Scheduling

    • Stefan Heinz, Wen-Yang Ku, J. Christopher Beck
    Pages 12-27

  4. Cloud Branching

    • Timo Berthold, Domenico Salvagnin
    Pages 28-43

  5. Modeling Robustness in CSPs as Weighted CSPs

    • Laura Climent, Richard J. Wallace, Miguel A. Salido, Federico Barber
    Pages 44-60

  6. Some New Tractable Classes of CSPs and Their Relations with Backtracking Algorithms

    • Achref El Mouelhi, Philippe Jégou, Cyril Terrioux, Bruno Zanuttini
    Pages 61-76

  7. Revisiting Hyper Binary Resolution

    • Marijn J. H. Heule, Matti Järvisalo, Armin Biere
    Pages 77-93

  8. Decision Diagrams and Dynamic Programming

    • John N. Hooker
    Pages 94-110

  9. CP Methods for Scheduling and Routing with Time-Dependent Task Costs

    • Elena Kelareva, Kevin Tierney, Philip Kilby
    Pages 111-127

  10. An MDD Approach to Multidimensional Bin Packing

    • Brian Kell, Willem-Jan van Hoeve
    Pages 128-143

  11. A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint

    • Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu
    Pages 144-159

  12. Enumerating Infeasibility: Finding Multiple MUSes Quickly

    • Mark H. Liffiton, Ammar Malik
    Pages 160-175

  13. Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem

    • Yuri Malitsky, Deepak Mehta, Barry O’Sullivan, Helmut Simonis
    Pages 176-192

  14. Improved Discrete Reformulations for the Quadratic Assignment Problem

    • Axel Nyberg, Tapio Westerlund, Andreas Lundell
    Pages 193-203

  15. Orbital Shrinking: A New Tool for Hybrid MIP/CP Methods

    • Domenico Salvagnin
    Pages 204-215

  16. On Solving Mixed-Integer Constraint Satisfaction Problems with Unbounded Variables

    • Hermann Schichl, Arnold Neumaier, Mihály Csaba Markót, Ferenc Domes
    Pages 216-233

  17. Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint

    • Andreas Schutt, Thibaut Feydy, Peter J. Stuckey
    Pages 234-250

  18. A Lagrangian Relaxation for Golomb Rulers

    • Marla R. Slusky, Willem-Jan van Hoeve
    Pages 251-267

  19. MiniZinc with Functions

    • Peter J. Stuckey, Guido Tack
    Pages 268-283

  20. Solving Wind Farm Layout Optimization with Mixed Integer Programming and Constraint Programming

    • Peter Y. Zhang, David A. Romero, J. Christopher Beck, Cristina H. Amon
    Pages 284-299
Back to top

Other volumes

  1. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Keywords

About this book

This volume is a compilation of the research program of the 10th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2013, held at Yorktown Heights, NY, USA, in May 2013. This volume contains 20 full papers and 11 short papers that were carefully reviewed and selected from 71 submissions. The papers focus on new techniques or applications in the intersection of constraint programming (CP), artificial intelligence (AI) and operations research (OR).

Editors and Affiliations

  • Department of Computer Science, Cornell University, Ithaca, USA

    Carla Gomes

  • Thomas J. Watson Research Center, Yorktown Heights, USA

    Meinolf Sellmann

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation