Parametre
Viac o knihe
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.
Nákup knihy
Recent advances in constraints, Barry OSullivan
- Jazyk
- Rok vydania
- 2003
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Recent advances in constraints
- Jazyk
- anglicky
- Autori
- Barry OSullivan
- Vydavateľ
- Springer
- Vydavateľ
- 2003
- ISBN10
- 3540009868
- ISBN13
- 9783540009863
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- 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.