Format:
Online-Ressource
ISBN:
9783540366072
Series Statement:
Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence 2627
Content:
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
Additional Edition:
ISBN 9783540009863
Additional Edition:
Buchausg. u.d.T. Recent advances in constraints Berlin : Springer, 2003 ISBN 3540009868
Language:
English
Subjects:
Computer Science
Keywords:
Constraint-logische Programmierung
;
Constraint
;
Constraint-Erfüllung
;
Konferenzschrift
DOI:
10.1007/3-540-36607-5
URL:
Volltext
(lizenzpflichtig)
Bookmarklink