Analyzing Walksat on Random Formulas.

Amin Coja-Oghlan Alan M. Frieze

Published in: ANALCO (2012)

Keyphrases

random sat
satisfiability problem
decision trees
phase transition
randomly generated
uniformly distributed
real time
databases
website
sat problem
max sat