Local Search with Configuration Checking for SAT.

Shaowei Cai, Kaile Su

Browse the full ICTAI paper archive.