A Randomized Algorithm for 3-SAT.

Subhas Kumar Ghosh Janardan Misra

Published in: Math. Comput. Sci. (2010)

Keyphrases

randomized algorithm
greedy algorithm
lower bound
randomized algorithms
sat solvers
satisfiability problem
search algorithm
competitive ratio
np hard
state space