Recent Advances in Constraints

Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers

220 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

Abstract Verification and Debugging of Constraint Logic Programs.- CGRASS: A System for Transforming Constraint Satisfaction Problems.- Interchangeability in Soft CSPs.- Towards Automated Reasoning on the Properties of Numerical Constraints.- Domain-Heuristics for Arc-Consistency Algorithms.- Computing Explanations and Implications in Preference-Based Configurators.- Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems.- A Note on Redundant Rules in Rule-Based Constraint Programming.- A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables.- A Local Search Algorithm for Balanced Incomplete Block Designs.- The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms.- POOC - A Platform for Object-Oriented Constraint Programming.- A Coordination-Based Framework for Distributed Constraint Solving.- Visopt ShopFloor: Going Beyond Traditional Scheduling.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI)
• ISBN: 9783540009863
• Sprache: Englisch
• Erscheinungsdatum: 07.04.2003
• Größe: 235 x 155 mm
• Verlag: Springer Vieweg
• Herausgegeben von: Barry O'Sullivan