A First Step Towards a Unified Proof Checker for QBF.

Toni Jussila Armin Biere Carsten Sinz Daniel Kröning Christoph M. Wintersteiger

Published in: SAT (2007)

Keyphrases

artificial intelligence
data sets
quantified boolean formulas
databases
information systems
preprocessing step
neural network
social networks
post processing