Hsuan-Po Lin, Jie-Hong Roland Jiang, Ruei-Rung Lee. To SAT or not to SAT: Ashenhurst decomposition in a large scale. In Sani R. Nassif, Jaijeet S. Roychowdhury, editors, 2008 International Conference on Computer-Aided Design (ICCAD 08), November 10-13, 2008, San Jose, CA, USA. pages 32-37, IEEE, 2008. [doi]
Abstract is missing.