Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers.

Martin Jonás Jan Strejcek

Published in: ICTAC (2018)

Keyphrases

bit vector
modulo theories
bit vectors
high level
statistical machine translation
data structure
data model
sat solvers
breadth first search
concurrent processes
abstraction hierarchy