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

価格
¥ 24.949
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月9日 - 2026年1月21日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく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
言語 英語  

Rudiger Ebendtのすべてを見る ( 例： Hardcover Book および Paperback Book )