Login / Signup

Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays.

Robert BrummayerArmin Biere
Published in: TACAS (2009)
Keyphrases
  • bit vectors
  • bit vector
  • databases
  • nearest neighbor
  • hash table