Tight Bounds on the Approximability of Almost-Satisfiable Horn SAT and Exact Hitting Set.

Venkatesan Guruswami Yuan Zhou

Published in: Theory Comput. (2012)

Keyphrases

tight bounds
satisfiability problem
search algorithm
np hard
small number
phase transition
neural network
probability distribution
input data