An Entropic Proof of Chang's Inequality
Russell ImpagliazzoCristopher MooreAlexander RussellPublished in: CoRR (2012)
Keyphrases
- theorem prover
- theorem proving
- machine learning
- geometry theorem proving
- linear logic
- stochastic approximation
- data structure
- decision making
- three dimensional
- information technology
- relational databases
- artificial neural networks
- probability distribution
- linear program
- information theory
- knowledge base
- information systems
- genetic algorithm
- neural network