约束编程的原理与实践 - CP 2005/Principles and Practice of Constraint Programming - CP 2005

出版时间：2005-11  出版社：北京燕山出版社  作者：Van Beek, Peter  页数：887  

内容概要

This book constitutes the refereed proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP 2005, held in Sitges, Spain, in October 2005. The 48 revised full papers and 22 revised short papers presented together with extended abstracts of 4 invited talks and 40 abstracts of contributions to the doctoral students program as well as 7 abstracts of contributions to a systems demonstration session were carefully reviewed and selected from 164 submissions. All current issues of computing with constraints are addressed, ranging from methodological and foundational aspects to solving real-world problems in various application fields.

书籍目录

Invited Papers　Search and Inference in AI Planning　OWL: A Description Logic Based Ontology Language　Preference Reasoning　The G12 Project: Mapping Solver Independent Models to Efficient SolutionsBest Papers　Symmetry Definitions for Constraint Satisfaction Problems　Dynamic Ordering for Asynchronous Backtracking on DisCSPsFull Papers　Incremental Algorithms for Local Search from Existential Second-Order Logic　Inter-distance Constraint: An Extension of the All-Different Constraint for Scheduling Equal 　Length Jobs　Mind the Gaps: A New Splitting Strategy for Consistency Techniques　Graph Invariants as Necessary Conditions for Global Constraints　Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation　Sub-optimality Approximations　A Linear-Logic Semantics for Constraint Handling Rules　Distributed Stable Matching Problems　Beyond Hypertree Width: Decomposition Methods Withoutn Decompositions　Ad-hoc Global Constraints for Life　Tractable Clones of Polynomials over Semigroups　CP(Graph): Introducing a Graph Computation Domain in Constraint Programming　Interval Analysis in Scheduling　Assumption-Based Pruning in Conditional CSP　Conditional Symmetry Breaking　Symmetry and Consistency　Solving the MOLR and Social Golfers Problems……Short PapersDoctoral PapersSystem DemonstrationsAuthor Index