Note on strong refutation algorithms for random k-SAT formulas.

Hiêp Hàn Yury Person Mathias Schacht

Published in: Electron. Notes Discret. Math. (2009)

Keyphrases

computational complexity
significant improvement
optimization problems
decision trees
orders of magnitude
combinatorial optimization
search space
computational cost
theoretical analysis
benchmark datasets
stochastic local search