Login / Signup

An Alternative to SAT-Based Approaches for Bit-Vectors.

Sébastien BardinPhilippe HerrmannFlorian Perroud
Published in: TACAS (2010)
Keyphrases
  • bit vectors
  • databases
  • multi dimensional