QBF-Based Boolean Function Bi-Decomposition
You are here
| Title | QBF-Based Boolean Function Bi-Decomposition |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Chen H., Janota M, Marques-Silva J |
| Conference Name | DATE 2012 : Design, Automation and Test in EuropeDATE 2012 : Design, Automation and Test in Europe |
| Date Published | 2012 |
| Conference Location | Dresden, Germany |
| URL | http://hdl.handle.net/10344/2895 |
