BibTeX record conf/socs/RodlerH18

download as .bib file

@inproceedings{DBLP:conf/socs/RodlerH18,
  author       = {Patrick Rodler and
                  Manuel Herold},
  editor       = {Vadim Bulitko and
                  Sabine Storandt},
  title        = {StaticHS: {A} Variant of Reiter's Hitting Set Tree for Efficient Sequential
                  Diagnosis},
  booktitle    = {Proceedings of the Eleventh International Symposium on Combinatorial
                  Search, {SOCS} 2018, Stockholm, Sweden - 14-15 July 2018},
  pages        = {72--80},
  publisher    = {{AAAI} Press},
  year         = {2018},
  url          = {https://doi.org/10.1609/socs.v9i1.18449},
  doi          = {10.1609/SOCS.V9I1.18449},
  timestamp    = {Mon, 18 Dec 2023 16:58:34 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/RodlerH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics