Login / Signup
-CNF formulas and the Walksat algorithm.
Amin Coja-Oghlan
Uriel Feige
Alan M. Frieze
Michael Krivelevich
Dan Vilenchik
Published in:
SODA (2009)
Keyphrases
</>
optimal solution
cost function
computational complexity
orders of magnitude
randomly generated
cnf formula
lower bound
search space
special case
dynamic programming
simulated annealing
combinatorial optimization