Evaluating QBF Solvers: Quantifier Alternations Matter.

Florian Lonsing Uwe Egly

Published in: CoRR (2017)

Keyphrases

artificial intelligence
database
real time
neural network
real world
information retrieval
search engine
social networks
computer vision
knowledge base
data structure
cooperative
object recognition
user interface
image analysis
quantifier elimination