ENGLISH

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

By Manuel Hermenegildo , Francisco Bueno (auth.) , Germán Puebla , Barry O’Sullivan (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2003
ISBN
978-3-540-00986-3, 978-3-540-36607-2, 3-540-00986-8
DOI
10.1007/3-540-36607-5
Language
english
Format
PDF
Filesize
2 MB (2458358 bytes)
Series
Lecture Notes in Computer Science 2627 Lecture Notes in Artificial Intelligence
Edition
1
Pages
210\209
Time added
2014-01-18 08:00:00
Artificial Intelligence (incl. Robotics); ProgrammCompilersInterpreters; Algorithm Analysis and Problem Compl

Description

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.

Similar books