Recent advances in constraints : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008 : revised selected papers
著者
書誌事項
Recent advances in constraints : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008 : revised selected papers
（Lecture notes in computer science, 5655. Lecture notes in artificial intelligence）
Springer, c2009
- : pbk.
- タイトル別名
-
CSCLP 2008
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"LNCS sublibrary. SL 7, Artificial intelligence"--T.p. verso
International conference proceedings
Includes bibliographical references and index
内容説明・目次
内容説明
Constraint programming (CP) is a powerful programming paradigm for the declarativedescription and the e?ective solving of largecombinatorialproblems. Basedonastrongtheoreticalfoundation,itisincreasinglyattractingcommercial interest. Since the 1990s, CP has been deployed by many industry leaders, in particular to model heterogeneous optimization and satisfaction problems. - amples of application domains where such problems naturally arise, and where constraint programming has made a valuable contribution, are scheduling, p- duction planning, communication networks, routing, planning of satellite m- sions, robotics, and bioinformatics. This volumecontainsthe papers selectedfor the post-proceedingsof the13th International Workshop on Constraint Solving and Constraint Logic Progr- ming(CSCLP2008)heldduringJune18-20,2008inRome,Italy.Thisworkshop was organized as the 13th meeting of the working group on Constraints of the EuropeanResearchConsortiumforInformaticsandMathematics(ERCIM),c- tinuing a series of workshops organized since the creation of the working group in 1997.
A selection of papers of these annual workshops plus some additional contributions have been published since 2002 in a series of volumes which ill- trate the evolutioninthe ?eld, under the title "RecentAdvances in Constraints" in the Lecture Notes in Arti?cial Intelligence series.
目次
From Marriages to Coalitions: A Soft CSP Approach.- Solving CSPs with Naming Games.- An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints.- Challenges in Constraint-Based Analysis of Hybrid Systems.- From Rules to Constraint Programs with the Rules2CP Modelling Language.- Combining Symmetry Breaking and Global Constraints.- Iterative Flattening Search on RCPSP/max Problems: Recent Developments.- Robust Solutions in Unstable Optimization Problems.- IDB-ADOPT: A Depth-First Search DCOP Algorithm.
「Nielsen BookData」 より
