Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - 图书 - Springer International Publishing AG - 9783319373645 - 2016年10月22日
如封面与标题不符，以标题为准

Justyna Petke
Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms Softcover reprint of the original 1st ed. 2015 edition

价格
元 446
不含税

远程仓调货

预计送达时间 年6月30日 - 年7月16日

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单

其他版本：

This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers.

113 pages, 13 Tables, black and white; 19 Illustrations, black and white; XI, 113 p. 19 illus.

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2016年10月22日
ISBN13 9783319373645
出版商 Springer International Publishing AG
页数 113
商品尺寸 150 × 220 × 10 mm   ·   190 g

Mere med samme udgiver

查看Justyna Petke的全部作品 ( 例如 Hardcover Book 及 Paperback Book )