Login / Signup
On Uniform Reductions between Direct Product and XOR Lemmas.
Ragesh Jaiswal
Published in:
CoRR (2014)
Keyphrases
</>
life cycle
theorem proving
neural network
real time
theorem prover
product quality
database
databases
machine learning
database systems
multiscale
multi agent systems
product design