Login / Signup
On Sparser Random 3SAT Refutation Algorithms and Feasible Interpolation.
Iddo Tzameret
Published in:
Electron. Colloquium Comput. Complex. (2013)
Keyphrases
</>
learning algorithm
orders of magnitude
knowledge base
objective function
data structure
decision problems