Principles and Practice of Constraint Programming

22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

  • Michel Rueher

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

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

Table of contents

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

    1. Front Matter
      Pages 1-1
    2. Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter  Nightingale
      Pages 3-12
    3. Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson et al.
      Pages 13-29
    4. Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary
      Pages 30-48
    5. Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace
      Pages 49-65
    6. Jeremias Berg, Matti Järvisalo
      Pages 66-85
    7. David Bergman, Andre A. Cire
      Pages 86-95
    8. Olaf Beyersdorff, Joshua Blinkhorn
      Pages 96-112
    9. Alessio Bonfietti, Alessandro Zanarini, Michele Lombardi, Michela  Milano
      Pages 113-129
    10. Clément Carbonnel, Emmanuel Hebrard
      Pages 147-156
    11. Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey
      Pages 157-172
    12. Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux
      Pages 173-188
    13. Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
      Pages 189-206
    14. Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Régin et al.
      Pages 207-223
    15. Thibaut Feydy, Peter J. Stuckey
      Pages 224-232
    16. Robert Ganian, M. S. Ramanujan, Stefan Szeider
      Pages 233-250
    17. Jack Goffinet, Raghuram Ramanujan
      Pages 251-267

About these proceedings

Introduction

This book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016.

The 63 revised regular papers presented together with 4 short papers and the abstracts of 4 invited talks were carefully reviewed and selected from 157 submissions. The scope of CP 2016 includes 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 are grouped into the following tracks: technical track; application track; computational sustainability track; CP and biology track; music track; preference, social choice, and optimization track; testing and verification track; and journal-first and sister conferences track.

Keywords

constraint satisfaction decision making discrete optmization scheduling testing and verification computational biology computational complexity computational music computational sustainability configuration constraint programming global constraints integer linear programming local search planning resource allocation rostering social choice Web-services

Editors and affiliations

  • Michel Rueher
    • 1
  1. 1.University of Nice Sophia Antipolis Sophia AntipolisFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-44953-1
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-44952-4
  • Online ISBN 978-3-319-44953-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book