BibTeX record conf/sat/AignerBKNP13

download as .bib file

@inproceedings{DBLP:conf/sat/AignerBKNP13,
  author    = {Martin Aigner and
               Armin Biere and
               Christoph M. Kirsch and
               Aina Niemetz and
               Mathias Preiner},
  editor    = {Daniel Le Berre},
  title     = {Analysis of Portfolio-Style Parallel {SAT} Solving on Current Multi-Core
               Architectures},
  booktitle = {{POS-13.} Fourth Pragmatics of {SAT} workshop, a workshop of the {SAT}
               2013 conference, July 7, 2013, Helsinki, Finland},
  series    = {EPiC Series in Computing},
  volume    = {29},
  pages     = {28--40},
  publisher = {EasyChair},
  year      = {2013},
  url       = {https://easychair.org/publications/paper/nHs},
  timestamp = {Wed, 27 May 2020 16:02:35 +0200},
  biburl    = {https://dblp.org/rec/conf/sat/AignerBKNP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics