Qbf-Based Boolean Function Bi-Decomposition

AuthID
P-00M-WC3
2
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
Publication Identifiers
Dblp: conf/date/ChenJM12
Wos: WOS:000415126300181
Source Identifiers
ISSN: 1530-1591
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.