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}}