Hard QBFs for Merge Resolution.

Olaf Beyersdorff Joshua Blinkhorn Meena Mahajan Tomás Peitl Gaurav Sood

Published in: CoRR (2020)

Keyphrases

high resolution
low resolution
quantified boolean formulae
consequence finding
data sets
sampling rate
quantified boolean formulas
search space