POS-13: BibTeX Entries

Volume

@proceedings{POS-13,
  title     = {POS-13. Pragmatics of SAT 2013},
  editor    = {Daniel Le Berre},
  series    = {EPiC Series in Computing},
  volume    = {29},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2014}}

Papers

@inproceedings{POS-13:Boosting_Performance_SLS_CDCL,
  author    = {Adrian Balint and Norbert Manthey},
  title     = {Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning},
  booktitle = {POS-13. Pragmatics of SAT 2013},
  editor    = {Daniel Le Berre},
  series    = {EPiC Series in Computing},
  volume    = {29},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/cLs5},
  doi       = {10.29007/28ww},
  pages     = {1-14},
  year      = {2014}}


@inproceedings{POS-13:SAT_Encodings_Car_Sequencing,
  author    = {Valentin Mayer-Eichberger and Toby Walsh},
  title     = {SAT Encodings for the Car Sequencing Problem},
  booktitle = {POS-13. Pragmatics of SAT 2013},
  editor    = {Daniel Le Berre},
  series    = {EPiC Series in Computing},
  volume    = {29},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/JXzd},
  doi       = {10.29007/jrsp},
  pages     = {15-27},
  year      = {2014}}


@inproceedings{POS-13:Analysis_Portfolio_Style_Parallel,
  author    = {Martin Aigner and Armin Biere and Christoph Kirsch and Aina Niemetz and Mathias Preiner},
  title     = {Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures},
  booktitle = {POS-13. Pragmatics of SAT 2013},
  editor    = {Daniel Le Berre},
  series    = {EPiC Series in Computing},
  volume    = {29},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/nHs},
  doi       = {10.29007/73n4},
  pages     = {28-40},
  year      = {2014}}


@inproceedings{POS-13:Modern_Cooperative_Parallel_SAT,
  author    = {Norbert Manthey and Davide Lanti and Ahmed Irfan},
  title     = {Modern Cooperative Parallel SAT Solving},
  booktitle = {POS-13. Pragmatics of SAT 2013},
  editor    = {Daniel Le Berre},
  series    = {EPiC Series in Computing},
  volume    = {29},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/49},
  doi       = {10.29007/jnvf},
  pages     = {41-54},
  year      = {2014}}