Parameters
More about the book
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.
Book purchase
Recent advances in constraints, Barry OSullivan
- Language
- Released
- 2003
Payment methods
- Title
- Recent advances in constraints
- Language
- English
- Authors
- Barry OSullivan
- Publisher
- Springer
- Publisher
- 2003
- ISBN10
- 3540009868
- ISBN13
- 9783540009863
- Category
- Computers, IT, Programming
- Description
- 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.