约束程序设计原理与实践 CP2002Principles and practice of constraint programming-CP2002

出版时间：2002-12  出版社：1 edition (2002年10月1日)  作者：Pascal Van Hentenryck  页数：794  
Tag标签：无  

内容概要

This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002.The 38 revised full papers and 6 innovative application papers as well as the 14 short papers presented toghether with 25 abstracts from contributions to the doctoral program were carefully reviewed and selected from 146 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to application in various fields.

书籍目录

Technical Papers　Reduced Cost-Based Ranking for Generating Promising Subproblems　Integrating Constraint and Integer Programming for the Orthogonal Latin Squares Problem　On Optimal Correction of Inconsistent Linear Constraints　Temporal Planning through Mixed Integer Programming: A Preliminary Report　A New Multi-resource eumulatives Constraint with Negative Heights　On the Sum Constraint: Relaxation and Applications　Global Constraints for Lexicographic Orderings　A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations　Amplification of Search Performance through Randomization of Heuristics　Computing the Envelope for Stepwise-Constant Resource Allocations　Local Probing Applied to Scheduling　Olli Kamarainen and Hani E1 Sakkout　A Hybrid Approach for SAT　Recovering and Exploiting Structural Knowledge from CNF Formulas　Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation　　Accelerating Random Walks　Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT　Learning and Solving Soft Temporal Constraints: An Experimental Study　Opportunistic Specialization in Russian Doll Search　Range-Based Algorithm for Max-CSP　Resolution Complexity of Random Constraints　Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics 　Determining the Number of Solutions to Binary CSP Instances　Consistency Checking for Qualitative Spatial Reasoning with Cardinal DirectionsOpen Constraint Satisfaction　Beyond NP: Arc-Consistency for Quantified Constraints　Secure Distributed Constraint Satisfaction: Reaching Agreement without Revealing Private Information　A Dual Graph Translation of a Problem in 'Life' 　Groups and Constraints: Symmetry Breaking during Search　Partial Symmetry Breaking　Symmetry Breaking Revisited……Innovative ApplicationsDoctoral ProgramAuthor Index