注冊(cè) | 登錄讀書(shū)好,好讀書(shū),讀好書(shū)!
讀書(shū)網(wǎng)-DuShu.com
當(dāng)前位置: 首頁(yè)出版圖書(shū)科學(xué)技術(shù)計(jì)算機(jī)/網(wǎng)絡(luò)軟件與程序設(shè)計(jì)其他編程語(yǔ)言/工具約束研究最新進(jìn)展 CSCLP 2005國(guó)際研討會(huì)(會(huì)議文集)

約束研究最新進(jìn)展 CSCLP 2005國(guó)際研討會(huì)(會(huì)議文集)

約束研究最新進(jìn)展 CSCLP 2005國(guó)際研討會(huì)(會(huì)議文集)

定 價(jià):¥474.60

作 者: Brahim Hnich 著
出版社: 崇文書(shū)局(原湖北辭書(shū)出版社)
叢編項(xiàng):
標(biāo) 簽: 暫缺

購(gòu)買這本書(shū)可以去


ISBN: 9783540342151 出版時(shí)間: 2006-12-01 包裝: 平裝
開(kāi)本: 頁(yè)數(shù): 字?jǐn)?shù):  

內(nèi)容簡(jiǎn)介

  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.

作者簡(jiǎn)介

暫缺《約束研究最新進(jìn)展 CSCLP 2005國(guó)際研討會(huì)(會(huì)議文集)》作者簡(jiǎn)介

圖書(shū)目錄

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
 The Challenge of Exploiting Weak Symmetries
 On Generators of Random Quasigroup Problems
Author Index

本目錄推薦

掃描二維碼
Copyright ? 讀書(shū)網(wǎng) m.ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號(hào) 鄂公網(wǎng)安備 42010302001612號(hào)