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},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{POS-13:Boosting_Performance_of_SLS,
  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},
  pages     = {1--14},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/cLs5},
  doi       = {10.29007/28ww}}

@inproceedings{POS-13:SAT_Encodings_for_Car,
  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},
  pages     = {15--27},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/JXzd},
  doi       = {10.29007/jrsp}}

@inproceedings{POS-13:Analysis_of_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},
  pages     = {28--40},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/nHs},
  doi       = {10.29007/73n4}}

@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},
  pages     = {41--54},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/49},
  doi       = {10.29007/jnvf}}