Login / Signup
Classes of Hard Formulas for QBF Resolution.
Agnes Schleitzer
Olaf Beyersdorff
Published in:
Electron. Colloquium Comput. Complex. (2022)
Keyphrases
</>
boolean formula
low resolution
conjunctive normal form
high resolution
neural network
learning algorithm
quantified boolean formulas
consequence finding