Login / Signup
Classes of Hard Formulas for QBF Resolution.
Agnes Schleitzer
Olaf Beyersdorff
Published in:
SAT (2022)
Keyphrases
</>
boolean formula
quantified boolean formulas
high resolution
conjunctive normal form
data sets
consequence finding