Hard QBFs for Merge Resolution (bibtex)
by , , , ,
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 QBFs 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}
}
Powered by bibtexbrowser