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.
Author(s): Manuel Hermenegildo, Germán Puebla, Francisco Bueno (auth.), Barry O’Sullivan (eds.)
Series: Lecture Notes in Computer Science 2627 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 210
Tags: Artificial Intelligence (incl. Robotics); Programming Techniques; Programming Languages, Compilers, Interpreters; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Mathematical Logic and Formal Languages
Abstract Verification and Debugging of Constraint Logic Programs....Pages 1-14
CGRASS: A System for Transforming Constraint Satisfaction Problems....Pages 15-30
Interchangeability in Soft CSPs....Pages 31-46
Towards Automated Reasoning on the Properties of Numerical Constraints....Pages 47-61
Domain-Heuristics for Arc-Consistency Algorithms....Pages 62-75
Computing Explanations and Implications in Preference-Based Configurators....Pages 76-92
Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems....Pages 93-108
A Note on Redundant Rules in Rule-Based Constraint Programming....Pages 109-120
A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables....Pages 121-131
A Local Search Algorithm for Balanced Incomplete Block Designs....Pages 132-143
The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms....Pages 144-158
POOC — A Platform for Object-Oriented Constraint Programming....Pages 159-170
A Coordination-Based Framework for Distributed Constraint Solving....Pages 171-184
Visopt ShopFloor: Going Beyond Traditional Scheduling....Pages 185-199
