Login / Signup

A Decision Procedure for Bit-Vectors and Arrays.

Vijay GaneshDavid L. Dill
Published in: CAV (2007)
Keyphrases
  • bit vectors
  • bit vector
  • locality sensitive hashing
  • databases
  • search algorithm