Login / Signup
An Empirical Perspective on Ten Years of QBF Solving.
Paolo Marin
Massimo Narizzano
Luca Pulina
Armando Tacchella
Enrico Giunchiglia
Published in:
RCRA@AI*IA (2015)
Keyphrases
</>
years ago
quantified boolean formulas
data sets
artificial neural networks
viewpoint
orders of magnitude
boolean formula