Publications

Improvements to Satisfiability-Based Boolean Function Bi-Decomposition

AuthID
P-00F-X6N

Author(s)

Chen, H

Silva, JM

Editor(s)

Mir,S;Tsui,CY;Reis,R;Choy,OCS

Document Type

Proceedings Paper

Year published

2011

Published

in VLSI-SoC: Advanced Research for Systems on Chip - 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers in IFIP Advances in Information and Communication Technology

Volume: 379, Pages: 52-72 (5)

Indexing