Advertisement

Principles and Practice of Constraint Programming

21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

  • Gilles Pesant

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9255)

Table of contents

  1. Front Matter
    Pages I-XXIV
  2. Technical Track

    1. Front Matter
      Pages 1-1
    2. Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey
      Pages 3-11
    3. David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki
      Pages 12-29
    4. David Bergman, Andre A. Cire, Willem-Jan van Hoeve
      Pages 30-38
    5. Carleton Coffrin, Hassan L. Hijazi, Pascal Van Hentenryck
      Pages 39-57
    6. Martin C. Cooper, Aymeric Duchein, Guillaume Escamocher
      Pages 58-73
    7. Martin C. Cooper, Philippe Jégou, Cyril Terrioux
      Pages 74-88
    8. Cyrille Dejemeppe, Sascha Van Cauwelaert, Pierre Schaus
      Pages 89-104
    9. Alban Derrien, Jean-Guillaume Fages, Thierry Petit, Charles Prud’homme
      Pages 105-120
    10. Ferdinando Fioretto, Tiep Le, Enrico Pontelli, William Yeoh, Tran Cao Son
      Pages 121-139
    11. Steven Gay, Renaud Hartert, Christophe Lecoutre, Pierre Schaus
      Pages 140-148
    12. Steven Gay, Renaud Hartert, Pierre Schaus
      Pages 149-157
    13. Minh Hoàng Hà, Claude-Guy Quimper, Louis-Martin Rousseau
      Pages 158-172
    14. Alexey Ignatiev, Alessandro Previti, Mark Liffiton, Joao Marques-Silva
      Pages 173-182
    15. Peter Jonsson, Victor Lagerkvist
      Pages 183-199
    16. Saurabh Joshi, Ruben Martins, Vasco Manquinho
      Pages 200-209
    17. Michał Karpiński, Marek Piotrów
      Pages 210-225
    18. Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois
      Pages 226-243
    19. Shufeng Kong, Sanjiang Li, Yongming Li, Zhiguo Long
      Pages 244-261
    20. Stefan Kreter, Andreas Schutt, Peter J. Stuckey
      Pages 262-278
    21. Michele Lombardi, Alessio Bonfietti, Michela Milano
      Pages 279-294
    22. Jean-Noël Monette, Pierre Flener, Justin Pearson
      Pages 313-329
    23. Alexandre Papadopoulos, François Pachet, Pierre Roy, Jason Sakellariou
      Pages 341-350
    24. Steven D. Prestwich, Roberto Rossi, S. Armagan Tarim
      Pages 351-366
    25. Andrea Rendl, Tias Guns, Peter J. Stuckey, Guido Tack
      Pages 376-392
    26. Mohamed Siala, Christian Artigues, Emmanuel Hebrard
      Pages 393-402
    27. Frédéric Simard, Michael Morin, Claude-Guy Quimper, François Laviolette, Josée Desharnais
      Pages 403-418
    28. Kostas Stergiou
      Pages 419-428
    29. Peter van Beek, Hella-Franziska Hoffmann
      Pages 429-445
    30. Charlie Vanaret, Jean-Baptiste Gotteland, Nicolas Durand, Jean-Marc Alliot
      Pages 446-462
    31. Mohamed Wahbi, Younes Mechqrane, Christian Bessiere, Kenneth N. Brown
      Pages 463-479
    32. James Wetter, Özgür Akgün, Ian Miguel
      Pages 480-496
  3. Application Track

    1. Front Matter
      Pages 497-497
    2. Alejandro Arbelaez, Deepak Mehta, Barry O’Sullivan
      Pages 499-507
    3. Andrés Felipe Barco, Jean-Guillaume Fages, Elise Vareilles, Michel Aldanondo, Paul Gaborit
      Pages 508-523
    4. Andrea Borghesi, Francesca Collina, Michele Lombardi, Michela Milano, Luca Benini
      Pages 524-540
    5. Nicolas Briot, Christian Bessiere, Philippe Vismara
      Pages 541-556
    6. Thi-Bich-Hanh Dao, Khanh-Chuong Duong, Christel Vrain
      Pages 557-573
    7. Caroline Even, Andreas Schutt, Pascal Van Hentenryck
      Pages 574-591
    8. Renaud Hartert, Pierre Schaus, Stefano Vissicchio, Olivier Bonaventure
      Pages 592-608
    9. Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte
      Pages 609-626
    10. Serdar Kadioglu, Mike Colena, Steven Huberman, Claire Bagley
      Pages 627-637
    11. Lars Kotthoff, Mirco Nanni, Riccardo Guidotti, Barry O’Sullivan
      Pages 638-653
    12. Edward Lam, Pascal Van Hentenryck, Philip Kilby
      Pages 654-670
    13. Craig Macdonald, Ciaran McCreesh, Alice Miller, Patrick Prosser
      Pages 671-686
    14. Seán Óg Murphy, Óscar Manzano, Kenneth N. Brown
      Pages 687-703

About these proceedings

Introduction

This book constitutes the refereed conference proceedings of the 21st International Conference on Principles and Practice of Constraint Programming, CP 2015, held in Cork, Ireland, in August/September 2015.
This edition of the conference was part of George Boole 200, a celebration of the life and work of George Boole who was born in 1815 and worked at the University College of Cork. It was also co-located with the 31st International Conference on Logic Programming (ICLP 2015).
The 48 revised papers presented together with 3 invited talks and 16 abstract papers were carefully selected from numerous submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, schedulling, configuration, and planning.

Keywords

algorithms artificial intelligence constraint programming distributed constraint satisfaction problem logic best-first search cost function networks cumulative constraint large-scale markov constraints MaxSAT minimal network network flow problem operations research regular constraint SAT scheduling solvers traffic engineering

Editors and affiliations

  • Gilles Pesant
    • 1
  1. 1.École Polytechnique de MontréalMontréalCanada

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-23219-5
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-23218-8
  • Online ISBN 978-3-319-23219-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site