Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla. Feasible Interpolation for QBF Resolution Calculi. Electronic Colloquium on Computational Complexity (ECCC), 22:59, 2015. [doi]
@article{BeyersdorffCMS15,
title = {Feasible Interpolation for QBF Resolution Calculi},
author = {Olaf Beyersdorff and Leroy Chew and Meena Mahajan and Anil Shukla},
year = {2015},
url = {http://eccc.hpi-web.de/report/2015/059},
researchr = {https://researchr.org/publication/BeyersdorffCMS15},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {22},
pages = {59},
}