Efficiently Exploiting Dependencies in Local Search for SAT.

Duc Nghia Pham, John Thornton, Abdul Sattar

Browse the full AAAI paper archive.