Principles and Practice of Constraint Programming - CP'96 : Second International Conference, CP '96, Cambridge, MA, USA, August 19 - 22, 1996. Proceedings. 1st ed. 1996
- 種類:
- 電子ブック
- 責任表示:
- edited by Eugene C. Freuder
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 1118
- ISBN:
- 9783540706205 [3540706208]
- 注記:
- 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( $$¥mathcal{Q}$$ ) through generalized slack variables
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. - ローカル注記:
- 学内専用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 |
Springer Berlin Heidelberg : Imprint: Springer |