QCDCL vs QBF Resolution: Further Insights.

Benjamin Böhm Olaf Beyersdorff

Published in: Electron. Colloquium Comput. Complex. (2023)

Keyphrases

high resolution
low resolution
quantified boolean formulas
neural network
lower bound
higher resolution
quantified boolean formulae
consequence finding
conflict detection
database
data sets
knowledge base
case study
high quality
constraint satisfaction