Advanced BDD Optimization - Rudiger Ebendt - 图书 - Springer-Verlag New York Inc. - 9781441937964 - 2010年10月29日
如封面与标题不符，以标题为准

Rudiger Ebendt
Advanced BDD Optimization Softcover reprint of hardcover 1st ed. 2005 edition

价格
元 1.081
不含税

远程仓调货

预计送达时间 年6月11日 - 年6月23日

顾客评价：

根据欧洲消费者保护法享受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

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2010年10月29日
ISBN13 9781441937964
出版商 Springer-Verlag New York Inc.
页数 222
商品尺寸 160 × 240 × 12 mm   ·   358 g
语言 英语  

Mere med samme udgiver

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