QBF Merge Resolution is powerful but unnatural.

Meena Mahajan Gaurav Sood

Published in: CoRR (2022)

Keyphrases

low resolution
high resolution
database
high level
image processing
image sequences
evolutionary algorithm
sampling rate
quantified boolean formulas