Feasible Interpolation for QBF Resolution Calculi.

Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla

Browse the full ICALP paper archive.