Phase Transitions in Knowledge Compilation: An Experimental Study.

Jian Gao, Minghao Yin, Ke Xu

Browse the full SAT paper archive.