Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19 21, 2002 : selected papers
Enregistré dans:
| 主要作者: | |
|---|---|
| 企業作者: | |
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| 叢編: | Lecture notes in computer science. Lecture notes in artificial intelligence
2627 |
| 主題: | |
| 在線閱讀: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 提示: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Recent advances in constraints, joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002, selected papers, Barry O'Sullivan (ed.), Berlin, Springer, 2003, 1 vol. (X-199 p.), Lecture notes in computer science, 3-540-00986-8 • Recent Advances in Constraints, Texte imprimé, 9783662193204 |
書本目錄:
- 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.