Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions.

Martin Jonás Jan Strejcek

Published in: SAT (2020)

Keyphrases

bit vector
modulo theories
bit vectors
statistical machine translation
efficient implementation
sat instances
highly optimized
neural network
knowledge base
sat solvers
answer set programming
quantified boolean formulas
satisfiability modulo theories
quad trees