Publications

Qbf-Based Boolean Function Bi-Decomposition

AuthID
P-00M-WC3

Author(s)

Chen, H

Janota, M

Marques Silva, J

Editor(s)

Rosenstiel,W;Thiele,L

Document Type

Proceedings Paper

Year published

2012

Published

in DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012) in Design Automation and Test in Europe Conference and Exhibition, ISSN: 1530-1591

Pages: 816-819 (4)

Conference

Design, Automation and Test in Europe Conference and Exhibition (Date), Date: MAR 12-16, 2012, Location: European Design & Automat Assoc, Dresden, GERMANY, Sponsors: EDA Consortium, IEEE Council Elect Design Automat, ECSI, ACM Special Interest Grp Design Automat, RAS, Host: European Design & Automat Assoc

Indexing