Overview
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)
Included in the following conference series:
Conference proceedings info: CSCLP 2008.
Buy print copy
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.
Similar content being viewed by others
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
Table of contents (9 papers)
-
Front Matter
-
Back Matter
Other volumes
-
Recent Advances in Constraints
Editors and Affiliations
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