Equivalence of two proof techniques for non-shannon-type inequalities.

Published in: ISIT (2013)

Keyphrases

sufficient conditions
information theory
data sets
learning algorithm
database
machine learning
theorem prover
linear logic