Separation Between Walksat and DPLL.

Tao Jiang, Shaowei Cai, Ziqun Li, Jiabao Lin, Yijia Chen

Browse the full TAMC paper archive.