Hard QBFs for Merge Resolution.

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

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

Keyphrases

higher resolution
multiresolution
high resolution
sampling rate
quantified boolean formulas
image resolution
genetic algorithm
conflict detection