A Concurrent Portfolio Approach to SMT Solving.

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

Published in: CAV (2009)

Keyphrases

decision making
real time
quadratic programming
portfolio selection
portfolio management
data sets
real world
probabilistic model
combinatorial optimization
nonlinear equations