Deep Cooperation of CDCL and Local Search for SAT.

Shaowei Cai, Xindi Zhang

Browse the full SAT paper archive.