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

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
  • About this book