Advertisement

Recent Advances in Constraints

13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers

  • Angelo Oddi
  • François Fages
  • Francesca Rossi
Conference proceedings CSCLP 2008

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 5655)

Table of contents

  1. Front Matter
  2. Stefano Bistarelli, Simon Foley, Barry O’Sullivan, Francesco Santini
    Pages 1-15
  3. Stefano Bistarelli, Giorgio Gosti
    Pages 16-32
  4. Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige
    Pages 51-65
  5. George Katsirelos, Nina Narodytska, Toby Walsh
    Pages 84-98
  6. Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Rina Dechter
    Pages 116-131
  7. William Yeoh, Ariel Felner, Sven Koenig
    Pages 132-146
  8. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, held in Rome, Italy, in June 2008.

The 9 revised full papers presented were carefully reviewed and selected from 14 initial submissions. The papers in this volume present original research results, as well as applications, in many aspects of constraint solving and constraint logic programming. Research topics that can be found in the papers are ¯rst-order constraints, symmetry breaking, global constraints, constraint optimization problems, distributed constraint solving problems, soft constraints, as well as the analysis of application domains such as cumulative resource problems and hybrid systems.

Keywords

Constraint arithmetic constraint boolean constraints constraint logic programming constraint networks constraint optimization constraint problem solving constraint programming constraint search constraint solving differential equations distributed constrai logic optimization programming

Editors and affiliations

  • Angelo Oddi
    • 1
  • François Fages
    • 2
  • Francesca Rossi
    • 3
  1. 1.ISTC-CNR, Institute for Cognitive Science and Technology, National Research Council of ItalyRomeItaly
  2. 2.INRIA Rocquencourt, BP 105Le Chesnay CedexFrance
  3. 3.Department of Pure and Applied MathematicsUniversity of PadovaPadovaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-03251-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-03250-9
  • Online ISBN 978-3-642-03251-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site