Advertisement

Principles and Practice of Constraint Programming

24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

  • John Hooker

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

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

Table of contents

  1. Front Matter
    Pages I-XXVII
  2. Main Technical Track

    1. Front Matter
      Pages 1-1
    2. Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
      Pages 3-12
    3. Roberto Amadini, Graeme Gange, Peter J. Stuckey
      Pages 13-29
    4. Martin C. Cooper, Wafa Jguirim, David A. Cohen
      Pages 64-80
    5. Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
      Pages 81-98
    6. Johannes K. Fichte, Markus Hecher, Neha Lodha, Stefan Szeider
      Pages 109-127
    7. Graeme Gange, Peter J. Stuckey
      Pages 144-159
    8. Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis
      Pages 160-178
    9. Emmanuel Hebrard, George Katsirelos
      Pages 179-194
    10. Holger H. Hoos, Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider
      Pages 195-209
    11. Linnea Ingmar, Christian Schulte
      Pages 210-218
    12. Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao
      Pages 219-228
    13. Meriem Khelifa, Dalila Boughaci, Esma Aïmeur
      Pages 229-241
    14. Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong
      Pages 242-258
    15. Fanghui Liu, Waldemar Cruz, Laurent Michel
      Pages 259-275
    16. Florian Lonsing, Uwe Egly
      Pages 276-294
    17. Florent Madelaine, Stéphane Secouard
      Pages 295-311
    18. Anthony Palmieri, Guillaume Perez
      Pages 328-344
    19. Dimosthenis C. Tsouros, Kostas Stergiou, Panagiotis G. Sarigiannidis
      Pages 373-388
    20. Philippe Vismara, Nicolas Briot
      Pages 389-402
    21. Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda
      Pages 403-419
    22. Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné
      Pages 420-435
    23. Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh
      Pages 436-452
    24. Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki et al.
      Pages 453-469
  3. Applications Track

    1. Front Matter
      Pages 471-471
    2. Gleb Belov, Tobias Czauderna, Maria Garcia de la Banda, Matthias Klapperstueck, Ilankaikone Senthooran, Mitch Smith et al.
      Pages 473-489
    3. Quentin Cappart, Charles Thomas, Pierre Schaus, Louis-Martin Rousseau
      Pages 490-506
    4. Dimitri Justeau-Allaire, Philippe Birnbaum, Xavier Lorca
      Pages 507-523
    5. Carlos Ansotegui, Meinolf Sellmann, Kevin Tierney
      Pages 524-534
  4. CP and Data Science Track

    1. Front Matter
      Pages 535-535
    2. Christian Bessiere, Nadjib Lazaar, Mehdi Maamar
      Pages 537-553
    3. Said Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais
      Pages 554-569
    4. Imen Ouled Dlala, Said Jabbour, Badran Raddaoui, Lakhdar Sais
      Pages 570-587
    5. Hong Xu, Sven Koenig, T. K. Satish Kumar
      Pages 588-597
  5. CP and Music Track

    1. Front Matter
      Pages 599-599
    2. Guillaume Perez, Brendan Rappazzo, Carla Gomes
      Pages 601-610
  6. CP and Operations Research Track

    1. Front Matter
      Pages 611-611
    2. Waldemar Cruz, Fanghui Liu, Laurent Michel
      Pages 613-628
  7. CP, Optimization, and Power System Management Track

    1. Front Matter
      Pages 647-647
    2. Shan He, Mark Wallace, Graeme Gange, Ariel Liebman, Campbell Wilson
      Pages 649-666
  8. Multiagent and Parallel CP Track

    1. Front Matter
      Pages 667-667

About these proceedings

Introduction

This book constitutes the proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, held in Lille, France, in August 2018.
The 41 full and 9 short papers presented in this volume were carefully reviewed and selected from 114 submissions. They deal with all aspects of computing with constraints including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The papers were organized according to the following topics/tracks: main technical track; applications track; CP and data science; CP and music; CP and operations research; CP, optimization and power system management; multiagent and parallel CP; and testing and verification.

Keywords

artificial intelligence constraint programming constraint satisfaction problems constraint theory cryptography data mining graph theory heuristic methods problem solving SAT solvers software engineering software evaluation

Editors and affiliations

  1. 1.Carnegie Mellon UniversityPittsburghUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-98334-9
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-98333-2
  • Online ISBN 978-3-319-98334-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site