Principles and practice of constraint programming - CP96 : Second International Conference, CP96, Cambridge, MA, USA, August 19-22, 1996 : proceedings
This book constitutes the refereed proceedings of the Second International Conference on Principles and Practice of Constraint Programming, CP '96, held in Cambridge, MA, USA in August 1996. The 36 revised full papers presented in the volume were selected from over 100 submissions; also include...
Zapisane w:
| Korporacja: | |
|---|---|
| Kolejni autorzy: | |
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in computer science
1118 |
| Hasła przedmiotowe: | |
| Dostęp 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 |
| Komentarz: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Principles and practice of constraint programming - CP96, Second International Conference, CP96, Cambridge, MA, USA, August 19-22, 1996, proceedings, Eugene C. Freuder (Ed.), 1996, Berlin, Springer, 1 vol. (XIX-574 p.), Lecture notes in computer science, 3-540-61551-2 • Principles and Practice of Constraint Programming - CP'96, Texte imprimé, 9783662207765 |
Spis treści:
- On confluence of Constraint Handling Rules
- A labelling arc consistency method for functional constraints
- Constraint satisfaction in optical routing for passive wavelength-routed networks
- Using CSP look-back techniques to solve exceptionally hard SAT instances
- MAC and combined heuristics: Two reasons to forsake FC (and CBJ?) on hard problems
- The independence property of a class of set constraints
- Speeding up constraint propagation by redundant modeling
- A constraint-based interactive train rescheduling tool
- Local search and the number of solutions
- Derivation of constraints and database relations
- Constraint programming: an efficient and practical approach to solving the job-shop problem
- An instance of adaptive constraint propagation
- An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem
- Empirical studies of heuristic local search for constraint solving
- Defeasibility in CLP(