TitleImprovements to Satisfiability-Based Boolean Function Bi-Decomposition
Publication TypeBook Chapter
Year of Publication2012
AuthorsChen H., Marques-Silva J
Book TitleVLSI-SoC: Advanced Research for System on Chip (Best Papers of VLSI-SoC 2011)VLSI-SoC: Advanced Research for System on Chip (Best Papers of VLSI-SoC 2011)
Date Published2012
Publication Languageeng
URLhttp://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6081636