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. Technical Track

    1. Hélène Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus
      Pages 297-307
    2. Kenneth D. Young, Thibaut Feydy, Andreas Schutt
      Pages 308-317
  2. 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
  3. 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
  4. Operations Research and CP Track

    1. Front Matter
      Pages 547-547
    2. Mohd. Hafiz Hasan, Pascal Van Hentenryck
      Pages 549-564

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-319-66158-2
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-66157-5
  • Online ISBN 978-3-319-66158-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book