Login / Signup
Efficiently solving quantified bit-vector formulas.
Christoph M. Wintersteiger
Youssef Hamadi
Leonardo Mendonça de Moura
Published in:
FMCAD (2010)
Keyphrases
</>
bit vector
combinatorial optimization
real time
machine learning
decision trees
reinforcement learning
search algorithm
expert systems
artificial neural networks
scheduling problem
temporal logic
bit vectors