Feasible Interpolation for QBF Resolution Calculi.

Olaf Beyersdorff Leroy Chew Meena Mahajan Anil Shukla

Published in: ICALP (1) (2015)

Keyphrases

high resolution
image interpolation
low resolution
resolution enhancement
quantified boolean formulas
feasible solution
sampling rate
super resolution algorithm