Login / Signup

Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams.

Martin JonásJan Strejcek
Published in: SAT (2016)
Keyphrases
  • bit vector
  • binary decision diagrams
  • boolean formula
  • variable ordering
  • symbolic model checking
  • multi dimensional