Diversification and Determinism in Local Search for Satisfiability.

Chu Min Li, Wen Qi Huang

Browse the full SAT paper archive.