Login / Signup
Hypercontractivity, Sum-of-Squares Proofs, and their Applications
Boaz Barak
Fernando G. S. L. Brandão
Aram W. Harrow
Jonathan A. Kelner
David Steurer
Yuan Zhou
Published in:
CoRR (2012)
Keyphrases
</>
theorem prover
theorem proving
equational theories
formal proofs
evolutionary algorithm
formal proof
inference rules
cooperative
feature space
databases
special case
probabilistic model
first order logic
multi agent
multiscale
image processing
decision making
computer vision
information retrieval