Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings. 1st ed. 1995
- 種類:
- 電子ブック
- 責任表示:
- edited by Ugo Montanari, Francesca Rossi
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 976
- ISBN:
- 9783540447887 [3540447881]
- 注記:
- 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
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. - ローカル注記:
- 学内専用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 |
