Login / Signup
A Simpler Strong Refutation of Random k-XOR.
Kwangjun Ahn
Published in:
APPROX-RANDOM (2020)
Keyphrases
</>
theorem prover
theorem proving
inductive inference
computer vision
feature selection
search algorithm
automated theorem proving