UID:
almahu_9948621546502882
Format:
X, 210 p.
,
online resource.
Edition:
1st ed. 2003.
ISBN:
9783540366072
Series Statement:
Lecture Notes in Artificial Intelligence ; 2627
Note:
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.
In:
Springer Nature eBook
Additional Edition:
Printed edition: ISBN 9783662193204
Additional Edition:
Printed edition: ISBN 9783540009863
Language:
English
DOI:
10.1007/3-540-36607-5
URL:
https://doi.org/10.1007/3-540-36607-5
