A Randomized Algorithm for 3-SAT

Subhas Kumar Ghosh Janardan Misra

Published in: CoRR (2009)

Keyphrases

randomized algorithm
greedy algorithm
lower bound
sat solvers
satisfiability problem
randomized algorithms
search algorithm
competitive ratio
objective function
scheduling problem
upper bound
branch and bound algorithm
perceptron algorithm
closest string