出版时间:2004-7 出版社:北京燕山出版社 作者:Apt, K. R.; Apt, Krzysztof R.; Fages, Francois 页数:284
内容概要
This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003 held in Budapest, Hungary in June/July 2003. The 15 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in Topical sections on constraint solving, soft constraints, language issues, and applications.
书籍目录
Constraint Solving A Comparative Study of Arithmetic Constraints on Integer Intervals Clustering for Disconnected Solution Sets of Numerical CSPs Implementing Propagators for Tabular Constraints Constraint Methods for Modal Satisfiability Learning Approximate ConsistenciesSoft Constraints Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs Tradeoff Generation Using Soft Constraints Experimental Evaluation of Interchangeability in Soft CSPsLanguage Issues A Rule Language for Interaction A Generic Trace Schema for the Portability of CP(FD) Debugging ToolsApplications Teaching Constraints through Logic Puzzles Reduce-To-The-Opt - A Specialized Search Algorithm for Contiguous Task Scheduling A New Approach to Modeling and Solving Minimal Perturbation Problems Protein Folding in CLP(FD) with Empirical Contact Energies. Gestures for Embodied Agents with Logic ProgrammingAuthor Index
图书封面
评论、评分、阅读与下载
Recent Advances in Constraints约束新进展/会议录 PDF格式下载