Bi-decomposing large Boolean functions via interpolation and satisfiability solving. - Ruei-Rung Lee; Jie-Hong Roland Jiang; Wei-Lun Hung (DAC, 2008)

To SAT or not to SAT: Ashenhurst decomposition in a large scale. - Hsuan-Po Lin; Jie-Hong Roland Jiang; Ruei-Rung Lee (ICCAD, 2008)