QCDCL vs QBF Resolution: Further Insights.

Benjamin Böhm Olaf Beyersdorff

Published in: SAT (2023)

Keyphrases

high resolution
quantified boolean formulas
data mining
database
genetic algorithm
computational complexity
low resolution
sampling rate
knowledge base
image processing
image sequences
temporal resolution
consequence finding