Building Structure into Local Search for SAT.

Duc Nghia Pham, John Thornton, Abdul Sattar

Browse the full IJCAI paper archive.