by Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomáš Peitl, Gaurav Sood
Reference:
Hard QBFs for Merge ResolutionOlaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomáš Peitl, Gaurav Sood40th 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) (Nitin Saxena, Sunil Simon, eds.), volume 182 of LIPIcs, pages 12:1–12:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Bibtex Entry:
@string{lipics="LIPIcs"}
@inproceedings{BeyersdorffBMPS20,
author = {Olaf Beyersdorff and
Joshua Blinkhorn and
Meena Mahajan and
Tom{\'{a}}\v{s} Peitl and
Gaurav Sood},
editor = {Nitin Saxena and
Sunil Simon},
title = {Hard {QBF}s for Merge Resolution},
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)},
series = {LIPIcs},
volume = {182},
pages = {12:1--12:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {10.4230/LIPIcs.FSTTCS.2020.12">https://doi.org/10.4230/LIPIcs.FSTTCS.2020.12},
doi = {10.4230/LIPIcs.FSTTCS.2020.12},
timestamp = {Thu, 16 Sep 2021 18:08:17 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BeyersdorffBMPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}