Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5655)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Conference series link(s): CSCLP: International Workshop on Constraint Solving and Constraint Logic Programming
Conference proceedings info: CSCLP 2008.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (9 papers)
-
Front Matter
-
Back Matter
About this book
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
- algorithm analysis and problem complexity
Editors and Affiliations
-
ISTC-CNR, Institute for Cognitive Science and Technology, National Research Council of Italy, Rome, Italy
Angelo Oddi
-
INRIA Rocquencourt, BP 105, Le Chesnay Cedex, France
François Fages
-
Department of Pure and Applied Mathematics, University of Padova, Padova, Italy
Francesca Rossi
Bibliographic Information
Book Title: Recent Advances in Constraints
Book Subtitle: 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
Editors: Angelo Oddi, François Fages, Francesca Rossi
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-03251-6
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2009
Softcover ISBN: 978-3-642-03250-9Published: 20 July 2009
eBook ISBN: 978-3-642-03251-6Published: 28 July 2009
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 147
Topics: Software Engineering/Programming and Operating Systems, Artificial Intelligence, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity, Numeric Computing