An Entropic Proof of Chang's Inequality.

Russell Impagliazzo Cristopher Moore Alexander Russell

Published in: SIAM J. Discret. Math. (2014)

Keyphrases

theorem prover
linear logic
multi agent
information theory
theorem proving
artificial intelligence
search engine
computer vision
image processing
case study
natural language
special case
stochastic approximation
automated theorem proving
interactive theorem proving