Advanced BDD Optimization - Rudiger Ebendt - 图书 - Springer-Verlag New York Inc. - 9780387254531 - 2005年8月23日
如封面与标题不符，以标题为准

Rudiger Ebendt
Advanced BDD Optimization 2005 edition

价格
元 1.256
不含税

远程仓调货

预计送达时间 年6月10日 - 年6月26日

顾客评价：

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

其他版本：

VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. Latest results in BDD optimization are given, c- ering di?erent aspects of paths in BDDs and the use of e?cient lower bounds during optimization.

222 pages, biography

介质类型 图书     Hardcover Book   (精装硬皮书)
已发行 2005年8月23日
ISBN13 9780387254531
出版商 Springer-Verlag New York Inc.
页数 222
商品尺寸 156 × 232 × 14 mm   ·   517 g
语言 英语  

Mere med samme udgiver

查看Rudiger Ebendt的全部作品 ( 例如 Hardcover Book 及 Paperback Book )