Analyzing Walksat on Random Formulas.

Amin Coja-Oghlan Alan M. Frieze

Published in: SIAM J. Comput. (2014)

Keyphrases

random sat
phase transition
real time
decision problems
satisfiability problem
randomly generated
information retrieval
social networks
data model
boolean satisfiability