To SAT or not to SAT: Ashenhurst decomposition in a large scale.

Hsuan-Po Lin, Jie-Hong Roland Jiang, Ruei-Rung Lee

Browse the full ICCAD paper archive.