Principles and Practice of Constraint Programming – CP 2011

17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings

  • Jimmy Lee
Conference proceedings CP 2011

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Application Track Papers

    1. Nicolas Beldiceanu, Helmut Simonis
      Pages 12-26
    2. Fabien Hermenier, Sophie Demassey, Xavier Lorca
      Pages 27-41
    3. Michel P. Lefebvre, Jean-François Puget, Petr Vilím
      Pages 42-53
    4. Venkatesh Ramamoorthy, Marius C. Silaghi, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo
      Pages 54-68
    5. Andreas Schutt, Peter J. Stuckey, Andrew R. Verden
      Pages 69-84
    6. Martin Stølevik, Tomas Eric Nordlander, Atle Riise, Helle Frøyseth
      Pages 85-99
    7. Gérard Verfaillie, Cédric Pralet
      Pages 100-114
  4. Research Track Papers

    1. Andrea Bartolini, Michele Lombardi, Michela Milano, Luca Benini
      Pages 115-129
    2. Alessio Bonfietti, Michele Lombardi, Luca Benini, Michela Milano
      Pages 130-144
    3. Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon
      Pages 145-159
    4. David A. Cohen, Martin C. Cooper, Martin J. Green, Dániel Marx
      Pages 160-171
    5. Jean-François Condotta, Christophe Lecoutre
      Pages 172-186
    6. Martin C. Cooper, Stanislav Živný
      Pages 187-194
    7. Martin C. Cooper, Stanislav Živný
      Pages 195-209
    8. Páidí Creed, Stanislav Živný
      Pages 210-224
    9. Jessica Davies, Fahiem Bacchus
      Pages 225-239

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 17th International Conference on Principles and Practice of Constraint Programming, CP 2011, held in Perugia, Italy, September 12-16, 2011.
The 51 revised full papers and 7 short papers presented together with three invited talks were carefully reviewed and selected from 159 submissions. The papers are organized in topical sections on algorithms, environments, languages, models and systems, applications such as decision making, resource allocation and agreement technologies.

Keywords

CSP SAT complexity constraint logic programming contraint networks

Editors and affiliations

  • Jimmy Lee
    • 1
  1. 1.Department of Computer Science and EngineeringThe Chinese University of Hong KongShatin, N.T.Hong Kong, China

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-23786-7
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-23785-0
  • Online ISBN 978-3-642-23786-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book