Evaluating QBF Solvers: Quantifier Alternations Matter.

Florian Lonsing Uwe Egly

Published in: CP (2018)

Keyphrases

databases
similarity measure
video sequences
evaluation function
database
real time
knowledge base
artificial neural networks
viewpoint
probability distribution