Principles and practice of constraint programming : second international workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings
This volume is the proceedings of the Second International Workshop on the Principles and Practice of Constraint Programming, held at Rosario, Orcas Island, Washington, USA in May 1994 in cooperation with AAAI and ALP. The volume contains 27 full revised papers selected from 87 submissions as well a...
Bewaard in:
| Coauteur: | |
|---|---|
| Andere auteurs: | |
| Formaat: | Livre numérique |
| Taal: | Anglais |
| Gepubliceerd in: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Reeks: | Lecture notes in computer science
874 |
| Onderwerpen: | |
| Online toegang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Opmerking: |
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, second international workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994, proceedings, Alan Borning (ed.), Berlin, Springer-Verlag, 1994, 1 vol. (IX-360 p.), Lecture notes in computer science, 3-540-58601-6 • Principles and Practice of Constraint Programming, Texte imprimé, 9783662212172 |
| LEADER | 04813nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 945446 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155227947 | ||
| 020 | |a 9783540490326 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International workshop on the principles and practice of constraint programming |n (2 |d :1994 |c :Rosario, Washington, Etats-Unis). | |
| 245 | 1 | 0 | |a Principles and practice of constraint programming : |b second international workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings |c [edited by] Alan Borning. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 874 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a A substitution operation for constraints -- Contradicting conventional wisdom in constraint satisfaction -- Nogood backmarking with min-conflict repair in constraint satisfaction and optimization -- Global consistency for continuous constraints -- Locally simultaneous constraint satisfaction -- Analyzing and debugging hierarchies of multi-way local propagation constraints -- Inferring 3-dimensional constraints with DEVI -- Beyond finite domains -- QUAD-CLP(R): Adding the power of quadratic constraints -- Applications in constraint logic programming with strings -- Some methodological issues in the design of CIAO, a generic, parallel concurrent constraint logic programming system -- Encapsulated search and constraint programming in Oz -- Towards a concurrent semantics based analysis of CC and CLP -- CC programs with both in- and non-determinism: A concurrent semantics -- Efficient and complete tests for database integrity constraint checking -- Linear vs. polynomial constraints in database query languages -- Foundations of aggregation constraints -- Constraint-generating dependencies -- Constraint objects -- Specification and verification of constraint-based dynamic systems -- GSAT and dynamic backtracking -- Foundations of indefinite constraint databases -- Set constraints and set-based analysis -- On the design of constraint satisfaction problems -- Experiences with constraint-based array dependence analysis -- Set constraints: Results, applications and future directions -- Logic-based methods for optimization -- Panel session: Commercial Applications of Constraint programming. | |
| 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 volume is the proceedings of the Second International Workshop on the Principles and Practice of Constraint Programming, held at Rosario, Orcas Island, Washington, USA in May 1994 in cooperation with AAAI and ALP. The volume contains 27 full revised papers selected from 87 submissions as well as a summary of a panel session on commercial applications of constraint programming. The contributions cover a broad range of topics including constraint programming languages, algorithms for constraint satisfaction and entailment, and constraints and their relation to fields such as artificial intelligence, databases, operations research, problem solving, and user interfaces. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Programmation par contraintes | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Borning, Alan. |4 pbd | |
| 776 | 0 | |0 021978921 |t Principles and practice of constraint programming |o second international workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 |o proceedings |f Alan Borning (ed.) |c Berlin |n Springer-Verlag |d 1994 |p 1 vol. (IX-360 p.) |s Lecture notes in computer science |z 3-540-58601-6 | |
| 776 | 0 | |t Principles and Practice of Constraint Programming |b Texte imprimé |z 9783662212172 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-58601-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-14QTWMPV-C |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747910421 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-58601-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750923318 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-58601-6 |z Accès INSA CVL | |
| 997 | |0 945446 |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/ | ||