Bit-Blasting ACL2 Theorems

Sol Swords Jared Davis

Published in: ACL2 (2011)

Keyphrases

genetic algorithm
natural language learning
bit vector
information retrieval
data structure
error correcting codes
bit vectors
data mining
search engine
image processing
multiresolution
pattern matching
digital topology