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