Login / Signup
Tight Bounds on the Approximability of Almost-satisfiable Horn SAT and Exact Hitting Set}.
Venkatesan Guruswami
Yuan Zhou
Published in:
Electron. Colloquium Comput. Complex. (2010)
Keyphrases
</>
tight bounds
small number
satisfiability problem
knowledge base
search algorithm
lower bound
upper bound
phase transition
probability distribution
input data
markov chain