BibTeX record conf/sat/HolldoblerMPS14

download as .bib file

@inproceedings{DBLP:conf/sat/HolldoblerMPS14,
  author       = {Steffen H{\"{o}}lldobler and
                  Norbert Manthey and
                  Tobias Philipp and
                  Peter Steinke},
  editor       = {Daniel Le Berre},
  title        = {Generic {CDCL} - {A} Formalization of Modern Propositional Satisfiability
                  Solvers},
  booktitle    = {{POS-14.} Fifth Pragmatics of {SAT} workshop, a workshop of the {SAT}
                  2014 conference, part of FLoC 2014 during the Vienna Summer of Logic,
                  July 13, 2014, Vienna, Austria},
  series       = {EPiC Series in Computing},
  volume       = {27},
  pages        = {89--102},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/7n71},
  doi          = {10.29007/7N71},
  timestamp    = {Sun, 15 Aug 2021 00:16:54 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/HolldoblerMPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics