BibTeX record conf/lagos/Rezende21

• > Home > conf/lagos/Rezende21

@inproceedings{DBLP:conf/lagos/Rezende21,
  author       = {Susanna F. de Rezende},
  editor       = {Carlos E. Ferreira and
                  Orlando Lee and
                  Fl{\'{a}}vio Keidi Miyazawa},
  title        = {Automating Tree-Like Resolution in Time \emph{n}\({}^{\mbox{\emph{o}(log
                  \emph{n})}}\) Is ETH-Hard},
  booktitle    = {Proceedings of the {XI} Latin and American Algorithms, Graphs and
                  Optimization Symposium, {LAGOS} 2021, Online Event / S{\~{a}}o Paulo,
                  Brazil, May 2021},
  series       = {Procedia Computer Science},
  volume       = {195},
  pages        = {152--162},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.procs.2021.11.021},
  doi          = {10.1016/J.PROCS.2021.11.021},
  timestamp    = {Mon, 05 Feb 2024 20:33:36 +0100},
  biburl       = {https://dblp.org/rec/conf/lagos/Rezende21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}