Publications

Improvements to Satisfiability-Based Boolean Function Bi-Decomposition

AuthID
P-00F-XK7

Author(s)

Chen, H

Silva, JM

Document Type

Proceedings Paper

Year published

2011

Published

in IEEE/IFIP 19th International Conference on VLSI and System-on-Chip, VLSI-SoC 2011, Kowloon, Hong Kong, China, October 3-5, 2011 in VLSI-SoC, ISSN: 1868-4238

Volume: 379 AICT, Pages: 142-147

Conference

19Th Ifip Wg 10.5/Ieee International Conference on Very Large Scale Integration, Vlsi-Soc 2011, Date: 3 October 2011 through 5 October 2011, Location: Hong Kong, Sponsors: IFIP TC 10 Working Group 10.5 (VLSI);IEEE Council on Electronic Design Automation (CEDA);IEEE Circuits and Systems Society;ACM SIGDA

Indexing