BibTeX record series/faia/DantsinH21

download as .bib file

@incollection{DBLP:series/faia/DantsinH21,
  author       = {Evgeny Dantsin and
                  Edward A. Hirsch},
  editor       = {Armin Biere and
                  Marijn Heule and
                  Hans van Maaren and
                  Toby Walsh},
  title        = {Worst-Case Upper Bounds},
  booktitle    = {Handbook of Satisfiability - Second Edition},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {336},
  pages        = {669--692},
  publisher    = {{IOS} Press},
  year         = {2021},
  url          = {https://doi.org/10.3233/FAIA200999},
  doi          = {10.3233/FAIA200999},
  timestamp    = {Sat, 30 Sep 2023 10:30:31 +0200},
  biburl       = {https://dblp.org/rec/series/faia/DantsinH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics