Improving Stochastic Local Search for SAT with a New Probability Distribution.

Adrian Balint, Andreas Frhlich

Browse the full SAT paper archive.