Login / Signup

Classes of Hard Formulas for QBF Resolution.

Agnes SchleitzerOlaf Beyersdorff
Published in: SAT (2022)
Keyphrases
  • boolean formula
  • quantified boolean formulas
  • high resolution
  • conjunctive normal form
  • data sets
  • consequence finding