Olaf Beyersdorff, Leroy Chew, Mikolas Janota. Extension Variables in QBF Resolution. Electronic Colloquium on Computational Complexity (ECCC), 23:5, 2016. [doi]
@article{BeyersdorffCJ16,
title = {Extension Variables in QBF Resolution},
author = {Olaf Beyersdorff and Leroy Chew and Mikolas Janota},
year = {2016},
url = {http://eccc.hpi-web.de/report/2016/005},
researchr = {https://researchr.org/publication/BeyersdorffCJ16},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {23},
pages = {5},
}