To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scale

Hsuan-Po LinJie-Hong R. JiangRuei-Rung LeeJIE-HONG JIANG2018-09-102018-09-102008-11http://scholars.lib.ntu.edu.tw/handle/123456789/343030To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scaleconference paper10.1109/ICCAD.2008.46815482-s2.0-57849143788