Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break.

Adrian Balint, Uwe Schning

Browse the full SAT paper archive.