Advertisement

Principles and Practice of Constraint Programming

14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings

  • Editors
  • Peter J. Stuckey

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

Table of contents

  1. Front Matter
  2. Invited Lecture

    1. Alain Colmerauer
      Pages 1-20
  3. Applications Track Long Papers

    1. Luca Benini, Michele Lombardi, Michela Milano, Martino Ruggiero
      Pages 21-35
    2. Arnaldo V. Moura, Cid C. de Souza, Andre A. Cire, Tony M. T. Lopes
      Pages 36-51
    3. Helmut Simonis, Barry O’Sullivan
      Pages 52-66
    4. David Lesaint, Deepak Mehta, Barry O’Sullivan, Luis Quesada, Nic Wilson
      Pages 67-81
    5. Ivan Dotu, Manuel Cebrián, Pascal Van Hentenryck, Peter Clote
      Pages 82-96
    6. Abid M. Malik, Michael Chase, Tyrel Russell, Peter van Beek
      Pages 97-111
  4. Research Track Long Papers

    1. Stanislav Živný, Peter G. Jeavons
      Pages 112-127
    2. Michael Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
      Pages 159-174
    3. Guillaume Verger, Christian Bessiere
      Pages 175-189
    4. Alexandre Goldsztejn, Laurent Granvilliers
      Pages 190-204
    5. Jean-Marie Normand, Alexandre Goldsztejn, Marc Christie, Frédéric Benhamou
      Pages 205-219
    6. Mats Carlsson, Nicolas Beldiceanu, Julien Martin
      Pages 220-234
    7. Roberto Rossi, S. Armagan Tarim, Brahim Hnich, Steven Prestwich
      Pages 235-250
    8. Meinolf Sellmann, Serdar Kadioglu
      Pages 251-265
    9. Yuri Malitsky, Meinolf Sellmann, Willem-Jan van Hoeve
      Pages 266-281
    10. Carlos Ansótegui, Ramón Béjar, César Fernàndez, Carles Mateu
      Pages 298-312
    11. Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
      Pages 327-341
    12. Ignacio Araya, Bertrand Neveu, Gilles Trombettoni
      Pages 342-357
    13. Emmanuel Hebrard, Barry O’Sullivan, Igor Razgon
      Pages 358-371
    14. Martin J. Green, Christopher Jefferson
      Pages 372-386
    15. Ismel Brito, Pedro Meseguer
      Pages 387-401
    16. Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
      Pages 402-417
    17. Hadrien Cambazard, Barry O’Sullivan
      Pages 418-432
    18. Alexandre Papadopoulos, Barry O’Sullivan
      Pages 433-447
    19. Tarik Hadzic, John N. Hooker, Barry O’Sullivan, Peter Tiedemann
      Pages 448-462
    20. Marco Benedetti, Arnaud Lallouet, Jérémie Vautard
      Pages 463-477
    21. Matthew Kitching, Fahiem Bacchus
      Pages 478-492
    22. Joxan Jaffar, Andrew E. Santosa, Răzvan Voicu
      Pages 493-508
    23. Kenil C. K. Cheng, Roland H. C. Yap
      Pages 509-523
  5. Research Track Short Papers

    1. András Z. Salamon, Peter G. Jeavons
      Pages 524-528
    2. Karen E. Petrie, Christopher Jefferson
      Pages 529-533
    3. Vibhav Gogate, Rina Dechter
      Pages 534-538
    4. Daniel Heller, Aurojit Panda, Meinolf Sellmann, Justin Yip
      Pages 539-544
    5. Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti
      Pages 545-549
    6. Anbulagan, Adi Botea
      Pages 550-554
    7. Carlos Diego Rodrigues, Philippe Michelon, Manoel B. Campêlo
      Pages 555-559
    8. Carlos Ansótegui, Ramón Béjar, César Fernàndez, Carles Mateu
      Pages 560-565
    9. Martin Sachenbacher, Paul Maier
      Pages 566-570
    10. Christian Schulte, Guido Tack
      Pages 571-575
    11. Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes
      Pages 582-587
    12. Dalila Boughaci, Belaid Benhamou, Habiba Drias
      Pages 593-597
    13. Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher
      Pages 598-602

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 14th International Conference on Principles and Practice of Constraint Programming, CP 2008, Sydney, Australia, September, 2008.

The 27 revised full papers and 23 revised short papers presented together with 6 application papers and the abstracts of one invited lecture were carefully reviewed and selected from 120 submissions. All current issues of computing with constraints are addressed, ranging from methodological and foundational aspects - using algorithms, environments, languages, models and systems - to solving real-world problems in various application fields.

Keywords

CSP heuristics Constraint SAT solvers algorithms approximability complexity con constraint logic programming knapsack protein structure qcsp rectangle packing submodular constraints superblock instruction scheduling table constraints

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-85958-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-85957-4
  • Online ISBN 978-3-540-85958-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site