QBF Merge Resolution Is Powerful but Unnatural.

Meena Mahajan Gaurav Sood

Published in: SAT (2022)

Keyphrases

high resolution
quantified boolean formulas
low resolution
consequence finding
information systems
user friendly
real time
social networks
high quality
bayesian networks
sampling rate
higher resolution