Sign in
Proteus: A Hierarchical Portfolio of Solvers and Transformations.
Barry Hurley
Lars Kotthoff
Yuri Malitsky
Barry O'Sullivan
Published in:
CoRR (2013)
Keyphrases
</>
sat solvers
artificial intelligence
hierarchical model
search space
sat solving
portfolio optimization
portfolio selection
coarse to fine
hierarchical structure
evolutionary algorithm
database
multiscale
decision making
computer vision
information retrieval
databases
data sets