Advertisement

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
    18. Alexey Ignatiev, Alessandro Previti, Joao Marques-Silva
      Pages 287-297
    19. Philippe Jégou, Hanan Kanso, Cyril Terrioux
      Pages 298-315
    20. Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessiere et al.
      Pages 333-349
    21. Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Christine Solnon
      Pages 350-368
    22. Harsha Nagarajan, Mowen Lu, Emre Yamangil, Russell Bent
      Pages 369-387
    23. Anthony Palmieri, Jean-Charles Régin, Pierre Schaus
      Pages 388-404
    24. Émilie Picard-Cantin, Mathieu Bouchard, Claude-Guy Quimper, Jason Sweeney
      Pages 405-420
    25. Timon Hertli, Isabelle Hurbain, Sebastian Millius, Robin A. Moser, Dominik Scheder, May Szedlák
      Pages 421-437
    26. Andreas Schutt, Peter J. Stuckey
      Pages 438-454
    27. Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda
      Pages 455-472
    28. Xujie Si, Xin Zhang, Vasco Manquinho, Mikoláš Janota, Alexey Ignatiev, Mayur Naik
      Pages 473-482
    29. Sascha Van Cauwelaert, Cyrille Dejemeppe, Jean-Noël Monette, Pierre Schaus
      Pages 520-535
  3. Application Track

    1. Front Matter
      Pages 537-537
    2. Kyle E. C. Booth, Goldie Nejat, J. Christopher Beck
      Pages 539-555
    3. Robinson Duque, Juan Francisco Díaz, Alejandro Arbelaez
      Pages 575-583
    4. David Gerault, Marine Minier, Christine Solnon
      Pages 584-601
    5. Katherine Giles, Willem-Jan van Hoeve
      Pages 602-617
    6. Vincent Goulet, Wei Li, Hyunmin Cheong, Francesco Iorio, Claude-Guy Quimper
      Pages 618-635
    7. Xavier Lorca, Charles Prud’homme, Aurélien Questel, Benoît Rottembourg
      Pages 636-649
    8. Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan, Jiwei Jin, Hai Liu et al.
      Pages 650-665
    9. Samir Sebbah, Claire Bagley, Mike Colena, Serdar Kadioglu
      Pages 666-679
  4. Computational Sustainability Track

    1. Front Matter
      Pages 681-681
    2. BoonPing Lim, Hassan Hijazi, Sylvie Thiébaux, Menkes van den Briel
      Pages 683-700
    3. Yexiang Xue, Ian Davies, Daniel Fink, Christopher Wood, Carla P. Gomes
      Pages 701-717
  5. CP and Biology Track

    1. Front Matter
      Pages 719-719
    2. Ludwig Krippahl, Pedro Barahona
      Pages 721-732

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