BibTeX record conf/lpar/HeuleJB10a

download as .bib file

@inproceedings{DBLP:conf/lpar/HeuleJB10a,
  author       = {Marijn Heule and
                  Matti J{\"{a}}rvisalo and
                  Armin Biere},
  editor       = {Andrei Voronkov and
                  Geoff Sutcliffe and
                  Matthias Baaz and
                  Christian G. Ferm{\"{u}}ller},
  title        = {Covered Clause Elimination},
  booktitle    = {Short papers for 17th International Conference on Logic for Programming,
                  Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
                  Indonesia, October 10-15, 2010},
  series       = {EPiC Series in Computing},
  volume       = {13},
  pages        = {41--46},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/cl8s},
  doi          = {10.29007/CL8S},
  timestamp    = {Sun, 15 Aug 2021 00:16:53 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/HeuleJB10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics