约束研究最新进展 CSCLP 2005国际研讨会/会议文集LNCS-3978: Recent advances in constraints

当前位置:首页 > 计算机/网络 > 程序设计 > 约束研究最新进展 CSCLP 2005国际研讨会/会议文集LNCS-3978: Recent advances in constraints

  • 版 次:1
  • 页 数:178
  • 字 数:
  • 印刷时间:2006年12月01日
  • 开 本:
  • 纸 张:胶版纸
  • 包 装:平装
  • 是否套装:否
  • 国际标准书号ISBN:9783540342151
作者:Brahim Hnich 著出版社:崇文书局(原湖北辞书出版社)出版时间:2006年12月 
编辑推荐
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, Multiset and Tuple Variables
 Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary 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 Stochastic Constraint Programs with Linear Recourse

 约束研究最新进展 CSCLP 2005国际研讨会/会议文集LNCS-3978: Recent advances in constraints 下载



发布书评

 
 

 

PDF图书网 

PDF图书网 @ 2017