Maggiori informazioni sul 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.
Acquisto del libro
Recent advances in constraints, Barry OSullivan
- Lingua
- Pubblicato
- 2003
- product-detail.submit-box.info.binding
- (In brossura)
Metodi di pagamento
Ancora nessuna valutazione.