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