第一图书网

Recent Advances in Constraints约束新进展/会议录

Apt, K. R.; Apt, Krzysztof R.; Fages, Francois 北京燕山出版社
出版时间:

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格式下载



相关图书