New and Improved Models for SAT-Based Bi-Decomposition
You are here
| Title | New and Improved Models for SAT-Based Bi-Decomposition |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Chen H., Marques-Silva J |
| Conference Name | ACM Great Lakes Symposium on VLSI 2012ACM Great Lakes Symposium on VLSI 2012 |
| Date Published | 2012 |
| Conference Location | Salt Lake City, USA |
| URL | http://ulir.ul.ie/handle/10344/2762 |
