Over-constrained systems : [Papers from a workshop held Sept. 1995 as part of the First International Conference on Principles and Practice of Constraint Programming, at Cassis, France]
This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of...
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | , , |
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Серии: | Lecture notes in computer science
1106 |
| Предметы: | |
| Online-ссылка: | 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: | • Over-constrained systems, [Papers from a workshop held Sept. 1995 as part of the First International Conference on Principles and Practice of Constraint Programming, at Cassis, France], Michael Jampel, Eugene C. Freuder, Michael Maher, eds, 1996, Berlin, Springer, 1 vol. (X-309 p.), Lecture notes in computer science, 3-540-61479-6 • Over-Constrained Systems, Texte imprimé, 9783662213582 |
Оглавление:
- A brief overview of over-constrained systems
- Constraint hierarchies
- Partial constraint satisfaction
- Semiring-based CSPs and valued CSPs: Basic properties and comparison
- Defeasible constraint solving
- Transforming ordered constraint hierarchies into ordinary constraint systems
- A compositional theory of constraint hierarchies (Operational semantics)
- Heuristic methods for over-constrained constraint satisfaction problems
- Cascaded directed arc consistency and no-good learning for the maximal constraint satisfaction problem
- Partial arc consistency
- Dynamic constraint satisfaction with conflict management in design
- Specifying over-constrained problems in default logic
- Implementing constraint relaxation over finite domains using assumption-based truth maintenance systems
- Experiences in solving constraint relaxation networks with Boltzmann Machines
- Solving over-constrained CSP using weighted OBDDs.