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

Adrian Balint Uwe Schöning

Published in: SAT (2012)

Keyphrases

stochastic local search
probability distribution
satisfiability problem
solving hard
randomly generated
max sat
combinatorial optimisation
random sat instances
neural network
information retrieval
search algorithm
phase transition
sat problem
np complete