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

书籍目录

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

作者简介

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.

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