`约束程序设计原理与实践/Principles and practice
点此进入淘宝搜索页搜索分類: 图书,计算机/网络,程序设计,其他,
作者： Frédéric Benhamou 著
出 版 社： 湖南文艺出版社
出版时间： 2006-12-1字数：版次： 1页数： 774印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540462675包装： 平装内容简介
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 Analysis
Regular 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
