Recent advances in constraints

Más información sobre el libro

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