Advertisement

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
    10. Alexis De Clercq, Thierry Petit, Nicolas Beldiceanu, Narendra Jussien
      Pages 240-255
    11. Samir A. Mohamed Elsayed, Laurent Michel
      Pages 256-270
    12. Jean-Guillaume Fages, Xavier Lorca
      Pages 271-285
    13. Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey
      Pages 286-301
    14. Serge Gaspers, Stefan Szeider
      Pages 302-316
    15. Alexandre Goldsztejn, Christophe Jermann, Vicente Ruiz de Angulo, Carme Torras
      Pages 317-324
    16. Georg Gottlob
      Pages 325-339
    17. Gianluigi Greco, Francesco Scarcello
      Pages 340-355
    18. Diarmuid Grimes, Emmanuel Hebrard
      Pages 356-372
    19. Jinsong Guo, Zhanshan Li, Liang Zhang, Xuena Geng
      Pages 373-384
    20. Antti E. J. Hyvärinen, Tommi Junttila, Ilkka Niemelä
      Pages 385-399
    21. Siddhartha Jain, Pascal Van Hentenryck
      Pages 400-413
    22. Mikoláš Janota, Joao Marques-Silva
      Pages 414-428
    23. Peter Jonsson, Fredrik Kuivinen, Johan Thapper
      Pages 438-453
    24. Serdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
      Pages 454-469
    25. Serdar Kadioglu, Eoin O’Mahony, Philippe Refalo, Meinolf Sellmann
      Pages 470-477
    26. Roger Kameugne, Laure Pauline Fotso, Joseph Scott, Youcheu Ngo-Kateu
      Pages 478-492
    27. Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
      Pages 493-507
    28. Ronan LeBras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover
      Pages 508-522
    29. Weiming Liu, Shengsheng Wang, Sanjiang Li, Dayou Liu
      Pages 523-537
    30. Runming Lu, Sheng Liu, Jian Zhang
      Pages 538-545
    31. Barnaby Martin
      Pages 546-560
    32. Barnaby Martin, Daniël Paulusma
      Pages 561-575
    33. Toshihiro Matsui, Marius Silaghi, Katsutoshi Hirayama, Makoto Yokoo, Boi Faltings, Hiroshi Matsuo
      Pages 576-590
    34. Christopher Mears, Todd Niven, Marcel Jackson, Mark Wallace
      Pages 591-605
    35. Deepak Mehta, Barry O’Sullivan, Luis Quesada
      Pages 606-620
    36. Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey
      Pages 621-636
    37. Samba Ndojh Ndiaye, Christine Solnon
      Pages 637-644
    38. M. A. Hakim Newton, Duc Nghia Pham, Abdul Sattar, Michael Maher
      Pages 645-659

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