Login / Signup
On Sparser Random 3SAT Refutation Algorithms and Feasible Interpolation
Iddo Tzameret
Published in:
CoRR (2013)
Keyphrases
</>
learning algorithm
dynamic programming
orders of magnitude
theoretical guarantees