Parameter
Mehr zum Buch
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.
Buchkauf
Recent advances in constraints, Barry OSullivan
- Sprache
- Erscheinungsdatum
- 2003
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Recent advances in constraints
- Sprache
- Englisch
- Autor*innen
- Barry OSullivan
- Verlag
- Springer
- Verlag
- 2003
- ISBN10
- 3540009868
- ISBN13
- 9783540009863
- Kategorie
- Informatik & Programmierung
- Beschreibung
- 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.