Improvements to Satisfiability-Based Boolean Function Bi-Decomposition
You are here
Title | Improvements to Satisfiability-Based Boolean Function Bi-Decomposition |
Publication Type | Book Chapter |
Year of Publication | 2012 |
Authors | Chen H., Marques-Silva J |
Book Title | VLSI-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 Published | 2012 |
Publication Language | eng |
URL | http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6081636 |