A proof of the Ahlswede-Cai-Zhang conjecture.

Christoph Bunte Amos Lapidoth Alex Samorodnitsky

Published in: ISIT (2014)

Keyphrases

theorem prover
computer assisted instruction
theoretical analysis
theorem proving
web based learning
proof planning
multimedia
artificial neural networks
cooperative learning
linear logic
search engine
video sequences
evolutionary algorithm
hidden markov models
automated theorem proving