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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: O'Sullivan, Barry (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Artificial Intelligence ; 2627
• Θέματα: Computer industry.; Software engineering.; Artificial intelligence.; Computer programming.; Programming languages (Electronic computers).; Algorithms.; The Computer Industry.; Software Engineering/Programming and Operating Systems.; Artificial Intelligence.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Algorithm Analysis and Problem Complexity.

Πίνακας περιεχομένων:

• 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.