Qbf-Based Boolean Function Bi-Decomposition

AuthID
 P-00M-WC3
3
Author(s)
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
Wos®
Dblp®/pt/publications/view/684419
Google Scholar®
Publication Identifiers
Dblp: conf/date/ChenJM12
Wos: WOS:000415126300181
Source Identifiers
ISSN: 1530-1591
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service