Principles and Practice of Constraint Programming

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

  • J. Christopher Beck

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. Test and Verification and CP Track

    1. Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith
      Pages 689-706
    2. Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel
      Pages 707-722
  2. Back Matter
    Pages 723-724

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

  • DOI
  • 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
  • Buy this book on publisher's site