Principles and practice of constraint programming - CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings
This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Marseille, France in September 1995. The 33 refereed full papers included were selected out of 108 submissions and constitute the main pa...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
976 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
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 - CP '95, first international conference, CP '95, Cassis, France, September 19-22, 1995, proceedings, Ugo Montanari, Francesca Rossi (Eds.), Berlin, Springer, 1995, 1 vol. (XIII-650 p.), Lecture notes in computer science, 3-540-60299-2 • Principles and Practice of Constraint Programming - CP '95, Texte imprimé, 9783662190876 |
| LEADER | 06146nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 945280 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155221442 | ||
| 020 | |a 9783540447887 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International conference on principles and practice of constraint programming |n (1 |d :1995 |c :Cassis, France). | |
| 245 | 1 | 0 | |a Principles and practice of constraint programming - CP '95 : |b first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings |c [edited by] Ugo Montanari, Francesca Rossi. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 976 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Complete solving of linear Diophantine equations and inequations without adding variables -- From Elliott-MacMahon to an algorithm for general linear constraints on naturals -- The progressive party problem: Integer linear programming and constraint programming compared -- From local to global consistency in temporal constraint networks -- Scaling effects in the CSP phase transition -- Asynchronous weak-commitment search for solving distributed constraint satisfaction problems -- Optimization-based heuristics for maximal constraint satisfaction -- First-order definability over constraint databases -- On similarity queries for time-series data: Constraint specification and implementation -- Safe stratified datalog with integer order programs -- Constrained dependencies -- Solving linear, min and max constraint systems using CLP based on relational interval arithmetic -- Debugging constraint programs -- An optimizing compiler for CLP(?) -- Local and global relational consistency -- Dynamic variable ordering in CSPs -- A unifying framework for tractable constraints -- On the forward checking algorithm -- A confluent calculus for concurrent constraint programming with guarded choice -- Situated simplification -- Guarded constructive disjunction: Angel or demon? -- Domain independent ask approximation in CCP -- On the combination of symbolic constraints, solution domains, and constraint solvers -- Constraint propagation in model generation -- Normalizing narrowing for weakly terminating and confluent systems -- On termination of constraint logic programs -- Modelling producer/consumer constraints -- A constraint-based approach to diagnosing software problems in computer networks -- Solving crew scheduling problems by constraint programming -- A visual constraint-programming environment -- Polynomialrestrictions of SAT: What can be done with an efficient implementation of the Davis and Putnam's procedure? -- Improved branch and bound in constraint logic programming -- Reducing domains for search in CLP(FD) and its application to job-shop scheduling -- What is symbolic computation? -- Constraint solving for combinatorial search problems: A tutorial -- The concurrent constraint programming research programmes -- Automatic generation of invariants and intermediate assertions -- The OTI constraint solver: A constraint library for constructing interactive graphical user interfaces -- Model-based computing: Using concurrent constraint programming for modeling and model compilation -- CLP in ECRC -- Constraint programming and industrial applications -- The CHIP system and its applications -- 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 book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Marseille, France in September 1995. The 33 refereed full papers included were selected out of 108 submissions and constitute the main part of the book; in addition there is a 60-page documentation of the four invited papers and a section presenting industrial reports. Thus besides having a very strong research component, the volume will be attractive for practitioners. The papers are organized in sections on efficient constraint handling, constraint logic programming, concurrent constraint programming, computational logic, applications, and operations research. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Contraintes (intelligence artificielle) | ||
| 650 | |a Informatique documentaire | ||
| 650 | |a Programmation par contraintes | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Montanari, Ugo, |d 1943- |4 pbd | |
| 700 | 1 | |a Rossi, Francesca, |d 1962- |4 pbd | |
| 776 | 0 | |0 024313866 |t Principles and practice of constraint programming - CP '95 |o first international conference, CP '95, Cassis, France, September 19-22, 1995 |o proceedings |f Ugo Montanari, Francesca Rossi (Eds.) |c Berlin |n Springer |d 1995 |p 1 vol. (XIII-650 p.) |s Lecture notes in computer science |z 3-540-60299-2 | |
| 776 | 0 | |t Principles and Practice of Constraint Programming - CP '95 |b Texte imprimé |z 9783662190876 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-60299-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-C8JDP2T1-F |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74791205X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-60299-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750924845 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-60299-2 |z Accès INSA CVL | |
| 997 | |0 945280 |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/ | ||