Integration of AI and OR Techniques in Constraint Programming

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

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

Table of contents

  1. Front Matter
    Pages I-XXV
  2. Penélope Aguiar Melgarejo, Philippe Laborie, Christine Solnon
    Pages 1-17
  3. Merav Aharoni, Odellia Boni, Ari Freund, Lidor Goren, Wesam Ibraheem, Tamir Segev
    Pages 18-30
  4. Alejandro Arbelaez, Deepak Mehta, Barry O’Sullivan, Luis Quesada
    Pages 31-46
  5. David Bergman, Arvind U. Raghunathan
    Pages 47-64
  6. Miquel Bofill, Marc Garcia, Josep Suy, Mateu Villaret
    Pages 65-73
  7. Alessio Bonfietti, Michele Lombardi, Michela Milano
    Pages 74-90
  8. Christina N. Burt, Nir Lipovetzky, Adrian R. Pearce, Peter J. Stuckey
    Pages 91-107
  9. Geoffrey Chu, Peter J. Stuckey
    Pages 108-123
  10. Cyrille Dejemeppe, Pierre Schaus, Yves Deville
    Pages 124-140
  11. Gerald Gamrath, Anna Melchiori, Timo Berthold, Ambros M. Gleixner, Domenico Salvagnin
    Pages 141-156
  12. Steven Gay, Renaud Hartert, Pierre Schaus
    Pages 157-172
  13. C. Gervet, S. Galichet
    Pages 173-181
  14. Brian Kell, Ashish Sabharwal, Willem-Jan van Hoeve
    Pages 215-230
  15. Boon Ping Lim, Menkes van den Briel, Sylvie Thiébaux, Russell Bent, Scott Backhaus
    Pages 240-254
  16. Fabio Furini, Ivana Ljubić, Markus Sinnl
    Pages 255-270
  17. Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre
    Pages 271-287

About these proceedings

Introduction

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.

Keywords

algorithms artificial intelligence combinatorial optimization comparison of models constraint and logic programming continuous scheduling declarative programming dynamic programming graph algorithms heuristic functions construction local search metaheuristics mixed integer programming modeling methodologies operations research optimization search methodologies sequence mining static analysis uncertainty

Editors and affiliations

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-18008-3
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-18007-6
  • Online ISBN 978-3-319-18008-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book