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
    16. Hélène Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus
      Pages 297-307
    17. Kenneth D. Young, Thibaut Feydy, Andreas Schutt
      Pages 308-317
  3. Application Track

    1. Front Matter
      Pages 319-319
    2. Gleb Belov, Tobias Czauderna, Amel Dzaferovic, Maria Garcia de la Banda, Michael Wybrow, Mark Wallace
      Pages 321-337
    3. Adrian Goldwaser, Andreas Schutt
      Pages 338-353
    4. Anders Nicolai Knudsen, Marco Chiarandini, Kim S. Larsen
      Pages 354-369
    5. Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro
      Pages 370-386
    6. Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
      Pages 387-404
    7. Linjie Pan, Jiwei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin et al.
      Pages 405-413
    8. Willem-Jan van Hoeve, Sridhar Tayur
      Pages 431-439
  4. Machine Learning and CP Track

    1. Front Matter
      Pages 441-441
    2. Jeremias Berg, Emilia Oikarinen, Matti Järvisalo, Kai Puolamäki
      Pages 443-459
    3. Maxime Chabert, Christine Solnon
      Pages 460-476
    4. Mohadeseh Ganji, James Bailey, Peter J. Stuckey
      Pages 477-494
    5. Anna L. D. Latour, Behrouz Babaki, Anton Dries, Angelika Kimmig, Guy Van den Broeck, Siegfried Nijssen
      Pages 495-511
    6. Émilie Picard-Cantin, Mathieu Bouchard, Claude-Guy Quimper, Jason Sweeney
      Pages 512-528
    7. Pierre Schaus, John O. R. Aoga, Tias Guns
      Pages 529-546
  5. Operations Research and CP Track

    1. Front Matter
      Pages 547-547
    2. Mohd. Hafiz Hasan, Pascal Van Hentenryck
      Pages 549-564
    3. Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre
      Pages 596-614
    4. K. Subramani, Piotr Wojciechowski
      Pages 615-629
    5. Hong Xu, Sven Koenig, T. K. Satish Kumar
      Pages 630-638
  6. Satisfiability and CP Track

    1. Front Matter
      Pages 639-639
    2. Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko
      Pages 641-651
    3. Jeremias Berg, Matti Järvisalo
      Pages 652-670
    4. Neng-Fa Zhou, Håkan Kjellerstrand
      Pages 671-686
  7. Test and Verification and CP Track

    1. Front Matter
      Pages 687-687

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

Industry Sectors
IT & Software