Feasible Interpolation for QBF Resolution Calculi.

Olaf Beyersdorff Leroy Chew Meena Mahajan Anil Shukla

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

quantified boolean formulas
low resolution
high resolution
feasible solution
orders of magnitude
resolution enhancement
search algorithm
computational complexity
sampling rate
interpolation methods