Single-Solver Algorithms for 2QBF - (Poster Presentation).

Sam Bayless Alan J. Hu

Published in: SAT (2012)

Keyphrases

orders of magnitude
learning algorithm
database
databases
neural network
computational complexity
knowledge discovery and data mining