Efficiently Exploiting Dependencies in Local Search for SAT.

Duc Nghia Pham John Thornton Abdul Sattar Efficiently Exploiting Dependencies in Local Search for SAT. 1476-1478 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#PhamTS08