Sign in
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