Skip to main content
SpringerLink
Log in
Book cover

Integration of AI and OR Techniques in Constraint Programming

12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Laurent Michel

    1. University of Connecticut, Storrs, USA

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

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

Included in the following conference series:

Conference proceedings info: CPAIOR 2015.

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

  1. Front Matter

    Pages I-XXV
    Download chapter PDF

  2. A Time-Dependent No-Overlap Constraint: Application to Urban Delivery Problems

    • Penélope Aguiar Melgarejo, Philippe Laborie, Christine Solnon
    Pages 1-17

  3. Rectangle Placement for VLSI Testing

    • Merav Aharoni, Odellia Boni, Ari Freund, Lidor Goren, Wesam Ibraheem, Tamir Segev
    Pages 18-30

  4. A Constraint-Based Local Search for Edge Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem

    • Alejandro Arbelaez, Deepak Mehta, Barry O’Sullivan, Luis Quesada
    Pages 31-46

  5. A Benders Approach to the Minimum Chordal Completion Problem

    • David Bergman, Arvind U. Raghunathan
    Pages 47-64

  6. MaxSAT-Based Scheduling of B2B Meetings

    • Miquel Bofill, Marc Garcia, Josep Suy, Mateu Villaret
    Pages 65-73

  7. Embedding Decision Trees and Random Forests in Constraint Programming

    • Alessio Bonfietti, Michele Lombardi, Michela Milano
    Pages 74-90

  8. Scheduling with Fixed Maintenance, Shared Resources and Nonlinear Feedrate Constraints: A Mine Planning Case Study

    • Christina N. Burt, Nir Lipovetzky, Adrian R. Pearce, Peter J. Stuckey
    Pages 91-107

  9. Learning Value Heuristics for Constraint Programming

    • Geoffrey Chu, Peter J. Stuckey
    Pages 108-123

  10. Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective Algorithm

    • Cyrille Dejemeppe, Pierre Schaus, Yves Deville
    Pages 124-140

  11. Branching on Multi-aggregated Variables

    • Gerald Gamrath, Anna Melchiori, Timo Berthold, Ambros M. Gleixner, Domenico Salvagnin
    Pages 141-156

  12. Time-Table Disjunctive Reasoning for the Cumulative Constraint

    • Steven Gay, Renaud Hartert, Pierre Schaus
    Pages 157-172

  13. Uncertain Data Dependency Constraints in Matrix Models

    • C. Gervet, S. Galichet
    Pages 173-181

  14. An Efficient Local Search for Partial Latin Square Extension Problem

    • Kazuya Haraguchi
    Pages 182-198

  15. Enhancing MIP Branching Decisions by Using the Sample Variance of Pseudo Costs

    • Gregor Hendel
    Pages 199-214

  16. BDD-Guided Clause Generation

    • Brian Kell, Ashish Sabharwal, Willem-Jan van Hoeve
    Pages 215-230

  17. Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Knapsack Problem

    • Wen-Yang Ku, J. Christopher Beck
    Pages 231-239

  18. Large Neighborhood Search for Energy Aware Meeting Scheduling in Smart Buildings

    • Boon Ping Lim, Menkes van den Briel, Sylvie Thiébaux, Russell Bent, Scott Backhaus
    Pages 240-254

  19. ILP and CP Formulations for the Lazy Bureaucrat Problem

    • Fabio Furini, Ivana Ljubić, Markus Sinnl
    Pages 255-270

  20. The Smart Table Constraint

    • Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre
    Pages 271-287
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 12th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2015, held in Barcelona, Spain, in May 2015. The 29 papers presented together with 8 short papers in this volume were carefully reviewed and selected from 90 submissions. The purpose of the conference series is to bring together researchers in the fields of Constraint Programming, Artificial Intelligence and Operations Research to explore ways of solving hard and large scale combinatorial optimization problems that emerge in various industrial domains. Pooling the skills and strengths of this diverse group of researchers has proved extremely effective and valuable during the past decade leading to improvements and cross-fertilization between the three fields as well as breakthrough for actual applications.

Editors and Affiliations

  • University of Connecticut, Storrs, USA

    Laurent Michel

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation