From DQBF to QBF by Dependency Elimination.

Ralf Wimmer Andreas Karrenbauer Ruben Becker Christoph Scholl Bernd Becker

Published in: SAT (2017)

Keyphrases

quantified boolean formulas
information content
data sets
databases
machine learning
decision trees
case study
video sequences