Sign in

From DQBF to QBF by Dependency Elimination.

Ralf WimmerAndreas KarrenbauerRuben BeckerChristoph SchollBernd Becker
Published in: SAT (2017)
Keyphrases
  • quantified boolean formulas
  • information content
  • data sets
  • databases
  • machine learning
  • decision trees
  • case study
  • video sequences