The Seventh QBF Solvers Evaluation (QBFEVAL'10).

Claudia Peschiera Luca Pulina Armando Tacchella Uwe Bubeck Oliver Kullmann Inês Lynce

Published in: SAT (2010)

Keyphrases

data sets
face recognition
international conference
evaluation method
evaluation process
social networks
knowledge base
relational databases
multiresolution
knowledge discovery
knowledge discovery and data mining