Login / Signup

Towards Satisfiability Modulo Parametric Bit-vectors.

Aina NiemetzMathias PreinerAndrew ReynoldsYoni ZoharClark W. BarrettCesare Tinelli
Published in: J. Autom. Reason. (2021)
Keyphrases
  • bit vectors
  • bit vector
  • computational complexity
  • hash table
  • locality sensitive hashing
  • gray code
  • dimensionality reduction