@inproceedings{BeyersdorffBMPS20,
 author = {Olaf Beyersdorff and
Joshua Blinkhorn and
Meena Mahajan and
Tom{\'{a}}\v{s} Peitl and
Gaurav Sood},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/fsttcs/BeyersdorffBMPS20.bib},
 booktitle = {40th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2020, December 14-18, 2020,
{BITS} Pilani, {K} {K} Birla Goa Campus, Goa, India (Virtual Conference)},
 doi = {10.4230/LIPIcs.FSTTCS.2020.12},
 editor = {Nitin Saxena and
Sunil Simon},
 pages = {12:1--12:15},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 timestamp = {Thu, 16 Sep 2021 18:08:17 +0200},
 title = {Hard {QBF}s for Merge Resolution},
 url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2020.12},
 volume = {182},
 year = {2020}
}