Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability.

Anton Belov, Zbigniew Stachniak

Browse the full SAT paper archive.