Classes of Hard Formulas for QBF Resolution.

Agnes Schleitzer Olaf Beyersdorff

Published in: J. Artif. Intell. Res. (2023)

Keyphrases

boolean formula
consequence finding
multiresolution
quantified boolean formulas
high resolution
orders of magnitude
sat solvers
membership queries
conjunctive normal form