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...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
1118 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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 |
| LEADER | 04128nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 944823 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15520338X | ||
| 020 | |a 9783540706205 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International conference on principles and practice of constraint programming |n (02 |d :1996 |c :Cambridge, Mass.). | |
| 245 | 1 | 0 | |a Principles and practice of constraint programming - CP96 : |b Second International Conference, CP96, Cambridge, MA, USA, August 19-22, 1996 : proceedings |c [edited by] Eugene C. Freuder. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1118 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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( | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 included are abstracts of 22 selected poster presentations and 3 special lectures. CP is the flagship conference series on constraint processing with a number of satellite activities; thus the volume reflects the state of the art in the field. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Informatique documentaire | ||
| 650 | |a Programmation par contraintes | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Freuder, Eugene C., |d 1945- |4 pbd | |
| 776 | 0 | |0 025972693 |t Principles and practice of constraint programming - CP96 |o Second International Conference, CP96, Cambridge, MA, USA, August 19-22, 1996 |o proceedings |f Eugene C. Freuder (Ed.) |d 1996 |c Berlin |n Springer |p 1 vol. (XIX-574 p.) |s Lecture notes in computer science |z 3-540-61551-2 | |
| 776 | 0 | |t Principles and Practice of Constraint Programming - CP'96 |b Texte imprimé |z 9783662207765 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-61551-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-LXWC2CJW-5 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747916187 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-61551-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750928794 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-61551-2 |z Accès INSA CVL | |
| 997 | |0 944823 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||