Another Complete Local Search Method for SAT.

Haiou Shen, Hantao Zhang

Browse the full LPAR paper archive.