Olaf Beyersdorff, Joshua Blinkhorn, Luke Hinde. Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs. Electronic Colloquium on Computational Complexity (ECCC), 24:137, 2017. [doi]
@article{BeyersdorffBH17,
title = {Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs},
author = {Olaf Beyersdorff and Joshua Blinkhorn and Luke Hinde},
year = {2017},
url = {https://eccc.weizmann.ac.il/report/2017/137},
researchr = {https://researchr.org/publication/BeyersdorffBH17},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {24},
pages = {137},
}