Improved Randomized Algorithms for 3-SAT.

Kazuo Iwama Kazuhisa Seto Tadashi Takai Suguru Tamaki

Published in: ISAAC (1) (2010)

Keyphrases

randomized algorithms
lower bound
search algorithm
approximation algorithms
satisfiability problem
sat solvers
machine learning
linear programming