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 |
