An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae.

Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song

Browse the full ICCAD paper archive.