© 2017

Principles and Practice of Constraint Programming

23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

  • J. Christopher Beck
Conference proceedings CP 2017

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

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

Table of contents

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

    1. Front Matter
      Pages 1-1
    2. Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack
      Pages 3-20
    3. Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
      Pages 21-37
    4. Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
      Pages 38-54
    5. Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
      Pages 71-79
    6. Víctor Dalmau
      Pages 80-96
    7. Simon de Givry, George Katsirelos
      Pages 97-113
    8. Grigori German, Olivier Briant, Hadrien Cambazard, Vincent Jost
      Pages 114-128
    9. Gael Glorian, Frederic Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure
      Pages 129-138
    10. Jean-Marie Lagniez, Pierre Marquis, Anastasia Paparrizou
      Pages 172-188
    11. Fanghui Liu, Waldemar Cruz, Chujiao Ma, Greg Johnson, Laurent Michel
      Pages 189-205
    12. Ciaran McCreesh, Patrick Prosser, Kyle Simpson, James Trimble
      Pages 206-225
    13. Guillaume Perez, Jean-Charles Régin
      Pages 226-242
    14. Mohamed Siala, Barry O’Sullivan
      Pages 262-277
    15. Atena M. Tabakhi, Tiep Le, Ferdinando Fioretto, William Yeoh
      Pages 278-296

About these proceedings


This book constitutes the refereed conference proceedings of the 23nd International Conference on Principles and Practice of Constraint Programming, CP 2017, held in Melbourne, Australia from August 28, 2017 until September 1, 2017. The conference is colocated with the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017) and the 33rd International Conference on Logic Programming.
The 46 revised full papers presented were carefully reviewed and selected from 115 submissions. The scope of the contributions includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource al

location, scheduling, configuration, and planning. The papers are grouped into the following tracks: technical track; application track; machine learning & CP track; operations research & CP track; satisfiability & CP track, test and verification & CP track; journal & sister conference track.


Computer Science Informatics Theory Algorithms Environments Languages Models Systems Applications Decision making Resource allocation Scheduling Configuration and Planning Computational sustainability CP and biology track Music track Preference, social choice and optimization Testing and verification

Editors and affiliations

  • J. Christopher Beck
    • 1
  1. 1.University of TorontoTorontoCanada

Bibliographic information