A Simple Proof for the Existence of "Good" Pairs of Nested Lattices.

Or Ordentlich Uri Erez

Published in: IEEE Trans. Inf. Theory (2016)

Keyphrases

pairwise
genetic algorithm
computer vision
query language
real time
case study
theorem prover
highly reliable
complete axiomatization