Feasible Interpolation for QBF Resolution Calculi.

Olaf Beyersdorff Leroy Chew Meena Mahajan Anil Shukla

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

Keyphrases

quantified boolean formulas
high resolution
linear interpolation
feasible solution
interpolation method
low resolution
interpolation methods
interpolation algorithm
neural network
search space
image quality
np complete