Recent Advances in Constraints [electronic resource] :Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers /
Contributor(s): O’Sullivan, Barry [editor.] | SpringerLink (Online service).Material type: BookSeries: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence: 2627Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Description: X, 210 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540366072.Subject(s): Computer science | Software engineering | Computer programming | Programming languages (Electronic computers) | Algorithms | Artificial intelligence | Computer industry | Computer Science | The Computer Industry | Software Engineering/Programming and Operating Systems | Artificial Intelligence (incl. Robotics) | Programming Techniques | Programming Languages, Compilers, Interpreters | Algorithm Analysis and Problem ComplexityOnline resources: Click here to access online
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.