An Entropy Proof of the Kahn-Lovász Theorem.
Jonathan CutlerA. J. RadcliffePublished in: Electron. J. Comb. (2011)
Keyphrases
- interactive theorem proving
- information theory
- information theoretic
- mutual information
- information entropy
- linear logic
- theorem proving
- neural network
- relative entropy
- proof planning
- databases
- image quality
- image processing
- artificial intelligence
- real time
- von neumann
- automated theorem proving
- entropy measure
- intuitionistic logic
- geometry theorem proving