Efficiently solving quantified bit-vector formulas.

Christoph M. Wintersteiger Youssef Hamadi Leonardo Mendonça de Moura

Published in: Formal Methods Syst. Des. (2013)

Keyphrases

bit vector
bit vectors
real time
expert systems
document images
combinatorial optimization
highly efficient
solving problems