A Study of Local Minimum Avoidance Heuristics for SAT.

Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar

Browse the full ECAI paper archive.