Principles and Practice of Constraint Programming : Second International Workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2 - 4, 1994. Proceedings. 1st ed. 1994
- 種類:
- 電子ブック
- 責任表示:
- edited by Alan Borning
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 874
- ISBN:
- 9783540490326 [3540490329]
- 注記:
- 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 -- F
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. - ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |