This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, held in Cork, Ireland in June 2002.;The 14 revised full papers presented were carefully selected for inclusion in the book during two rounds of reviewing and revision.;Among the topics addressed are verification and debugging of constraint logic programs, modeling and solving CSPs, explanation generation, inference and inconsistency processing, SAT and 0/1 encodings of CSPs, soft constraints and constraint relaxation, real-world applications, and distributed constraint solving.
| ISBN: | 9783540009863 |
| Publication date: | 7th April 2003 |
| Author: | International Workshop on Constraint Solving and Constraint Logic Programming, B OSullivan |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 199 pages |
| Series: | Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence |
| Genres: |
Information technology industries Algorithms and data structures Compilers and interpreters Software Engineering Artificial intelligence Computer programming / software engineering |
This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, held in Cork, Ireland in June 2002.;The 14 revised full papers presented were carefully selected for inclusion in the book during two rounds of reviewing and revision.;Among the topics addressed are verification and debugging of constraint logic programs, modeling and solving CSPs, explanation generation, inference and inconsistency processing, SAT and 0/1 encodings of CSPs, soft constraints and constraint relaxation, real-world applications, and distributed constraint solving.
Recent Advances in Constraints features in the following genres: Information technology industries, Algorithms and data structures, Compilers and interpreters, Software Engineering, Artificial intelligence, Computer programming / software engineering
Paperback. Not Available.
Recent Advances in Constraints was written by International Workshop on Constraint Solving and Constraint Logic Programming, B OSullivan and published by Springer an imprint of Springer Berlin Heidelberg
Recent Advances in Constraints has 199 pages
Yes it is part of Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence series