Truncating abstraction of bit-vector operations for BDD-based SMT solvers.

Martin Jonás Jan Strejcek

Published in: Theor. Comput. Sci. (2024)

Keyphrases

bit vector
modulo theories
bit vectors
constraint solver
data sets
neural network
answer set programming
concurrent processes
database
statistical machine translation
binary decision diagrams
sat solving
dense datasets