Login / Signup
Equivalence of Two Proof Techniques for Non-Shannon-type Inequalities
Tarik Kaced
Published in:
CoRR (2013)
Keyphrases
</>
information theory
similarity measure
linear program
real time
databases
computer vision
dynamic programming
linear programming
logic programs
theorem prover
linear inequalities