Recovering and Utilizing Partial Duality in QBF.

Alexandra Goultiaeva Fahiem Bacchus

Published in: SAT (2013)

Keyphrases

linear programming
quantified boolean formulas
machine learning
database
data sets
neural network
relational databases
dynamic programming
propositional logic