Another Proof of Cuckoo hashing with New Variants.

Published in: CoRR (2018)

Keyphrases

theorem prover
theorem proving
data structure
order preserving
hash tables
similarity search
hamming distance
nearest neighbor search
linear logic
mathematical proofs
data sets
artificial intelligence
multiscale
multi dimensional
video copy detection
linear hashing