Feasible Interpolation for QBF Resolution Calculi.

Olaf Beyersdorff Leroy Chew Meena Mahajan Anil Shukla

Published in: CoRR (2016)

Keyphrases

low resolution
quantified boolean formulas
high resolution
resolution enhancement
super resolution algorithm
neural network
orders of magnitude
feasible solution
image interpolation
band limited