`约束程序设计原理与实践/Principles and practice

2006-12  

湖南文艺出版社  

Benhamou, Fridiric; Benhamou, Fr D. Ric; Benhamou, Frederic  

774  

无  

The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.).

Invited Papers　Global Optimization of Probabilistically Constrained Linear Programs　Algorithms and Constraint Programming　Interval Analysis and Robotics　Constraint Based Resilience AnalysisRegular Papers　Infinite Qualitative Simulations by Means of Constraint Programming　Algorithms for Stochastic CSPs　Graph Properties Based Filtering　The ROOTS Constraint　Co Java: Optimization Modeling by Nondeterministic Simulation　An Algebraic Characterisation of Complexity for Valued Constraints　Typed Guarded Decompositions for Constraint Satisfaction　The Minimum Spanning Tree Constraint　Impact of Censored Sampling on the Performance of Restart Strategies　Watched Literals for Constraint Propagation in Minion　Inner and Outer Approximations of Existentially Quantified Equality Constraints　Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms　Adaptive Clause Weight Redistribution　Localization of an Underwater Robot Using Interval Constraint Propagation　Approximability of Integer Programming with Generalised Constraints　When Constraint Programming and Local Search Solve the Scheduling Problem of Electricite de 　France Nuclear Power Plant Outages　Generalized Arc Consistency for Positive Table Constraints　……Poster Papers Author Index

无

`约束程序设计原理与实践/Principles and practice PDF格式下载