Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract).

Shaowei Cai, Xindi Zhang

Browse the full IJCAI paper archive.