约束研究最新进展 CSCLP 2005国际研讨会/会议文集LNCS-3978: Recent advances in constraints
点此进入淘宝搜索页搜索分類: 图书,计算机/网络,程序设计,其他,
作者： Brahim Hnich著
出 版 社： 湖北辞书出版社
出版时间： 2006-12-1字数：版次： 1页数： 178印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540342151包装： 平装编辑推荐
LNBI is devoted to the publication of state-of-the-art research results in bio-informatics and computational biology, at a high level and in both printed and electronic versions - making use of the well-established LNCS publication machinery. As with the LNCS mother series, refereed proceedings and post- proceedings are at the core of LNBI, however, similar to the color cover sub- lines in LNCS, tutorials and state-of-the-art surveys are also invited for LNBI. Among the topics covered are：
Genomics；Molecular sequence analysis；Recognition of genes and regulatory elements；Molecular evolution；Protein structure；Gene expression；Gene networks；Combinatorial libraries and drug design；Computational proteomics.
内容简介
This book constitutes the thoroughly refereed and extended post-proceedings of the Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, held in Uppsala, Sweden in June 2005. Besides papers taken from the workshop, others are submitted in response to an open call for papers after the workshop. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on global constraints, search and heuristics, language and implementation issues, and modeling.
目录
Global Constraints
The All Different and Global Cardinality Constraints on Set, Multisetand Tuple Variables
Complete Propagation Rules for Lexicographic Order Constraints overArbitrary Domains
Among, Common and Disjoint Constraints
Search and Heuristics
Partitioning Based Algorithms for Some Colouring Problems
A CSP Search Algorithm with Reduced Branching Factor
Analysis of Heuristic Synergies
Complexity Analysis of Heuristic CSP Search Algorithms
Language and Implementation Issues
A Type System for CHR
Views and Iterators for Generic Constraint Implementations
Modeling
A Hybrid Bender's Decomposition Method for Solving StochasticConstraint Programs with Linear Recourse
The Challenge of Exploiting Weak Symmetries
On Generators of Random Quasigroup Problems
Author Index
