The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17).

Luca Pulina Martina Seidl

Published in: Artif. Intell. (2019)

Keyphrases

database
information retrieval
learning algorithm
computer vision
feature extraction
training data
association rules
relational databases
ground truth