Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5129)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
Conference proceedings info: CSCLP 2007.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007. The 10 revised full papers presented were carefully reviewed and selected from 16 initial submissions. The papers address all aspects of constraint and logic programming, including foundational issues, implementation techniques, new applications as well as teaching issues. Particular emphasis is placed on assessing the current state of the art and identifying future directions.
Similar content being viewed by others
Keywords
- Constraint
- arithmetic constraint
- constraint logic programming
- constraint networks
- constraint optimization
- constraint problem solving
- constraint processing
- constraint programming
- constraint search
- constraint solving
- heuristics
- hybrid algorithms
- interval co
- logic
- algorithm analysis and problem complexity
Table of contents (10 papers)
-
Front Matter
-
Back Matter
Other volumes
-
Recent Advances in Constraints
Editors and Affiliations
Bibliographic Information
Book Title: Recent Advances in Constraints
Book Subtitle: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers
Editors: François Fages, Francesca Rossi, Sylvain Soliman
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-89812-2
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2008
Softcover ISBN: 978-3-540-89811-5Published: 01 December 2008
eBook ISBN: 978-3-540-89812-2Published: 19 November 2008
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VII, 159
Topics: Artificial Intelligence, Programming Languages, Compilers, Interpreters, Programming Techniques, Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity, Numeric Computing