Volume
@proceedings{POS-18,
title = {Proceedings of Pragmatics of SAT 2015 and 2018},
editor = {Daniel Le Berre and Matti Järvisalo},
series = {EPiC Series in Computing},
volume = {59},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2019}}
Papers
@inproceedings{POS-18:Evaluating_CDCL_Restart_Schemes,
author = {Armin Biere and Andreas Fröhlich},
title = {Evaluating CDCL Restart Schemes},
booktitle = {Proceedings of Pragmatics of SAT 2015 and 2018},
editor = {Daniel Le Berre and Matti Järvisalo},
series = {EPiC Series in Computing},
volume = {59},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/RdBL},
doi = {10.29007/89dw},
pages = {1-17},
year = {2019}}
@inproceedings{POS-18:Predicting_SAT_Solver_Performance,
author = {Zack Newsham and Vijay Ganesh and Sebastian Fischmeister},
title = {Predicting SAT Solver Performance on Heterogeneous Hardware},
booktitle = {Proceedings of Pragmatics of SAT 2015 and 2018},
editor = {Daniel Le Berre and Matti Järvisalo},
series = {EPiC Series in Computing},
volume = {59},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/s7wG},
doi = {10.29007/8m31},
pages = {18-33},
year = {2019}}
@inproceedings{POS-18:Checking_Unsatisfiability_Proofs_Parallel,
author = {Norbert Manthey and Tobias Philipp},
title = {Checking Unsatisfiability Proofs in Parallel},
booktitle = {Proceedings of Pragmatics of SAT 2015 and 2018},
editor = {Daniel Le Berre and Matti Järvisalo},
series = {EPiC Series in Computing},
volume = {59},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/FftK},
doi = {10.29007/8w4v},
pages = {34-49},
year = {2019}}
@inproceedings{POS-18:Applications_MaxSAT_Data_Analysis,
author = {Jeremias Berg and Antti Hyttinen and Matti Järvisalo},
title = {Applications of MaxSAT in Data Analysis},
booktitle = {Proceedings of Pragmatics of SAT 2015 and 2018},
editor = {Daniel Le Berre and Matti Järvisalo},
series = {EPiC Series in Computing},
volume = {59},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/6HpF},
doi = {10.29007/3qkh},
pages = {50-64},
year = {2019}}
@inproceedings{POS-18:Competitive_Sorter_based_Encoding,
author = {Michał Karpiński and Marek Piotrów},
title = {Competitive Sorter-based Encoding of PB-Constraints into SAT},
booktitle = {Proceedings of Pragmatics of SAT 2015 and 2018},
editor = {Daniel Le Berre and Matti Järvisalo},
series = {EPiC Series in Computing},
volume = {59},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/tsHw},
doi = {10.29007/hh3v},
pages = {65-78},
year = {2019}}
@inproceedings{POS-18:CryptoMiniSat_Switches_Optimization_Solving,
author = {Anastasia Leventi-Peetz and Oliver Zendel and Werner Lennartz and Kai Weber},
title = {CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances},
booktitle = {Proceedings of Pragmatics of SAT 2015 and 2018},
editor = {Daniel Le Berre and Matti Järvisalo},
series = {EPiC Series in Computing},
volume = {59},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/5g6S},
doi = {10.29007/vpd6},
pages = {79-93},
year = {2019}}
@inproceedings{POS-18:Two_flavors_DRAT,
author = {Adrian Rebola Pardo and Armin Biere},
title = {Two flavors of DRAT},
booktitle = {Proceedings of Pragmatics of SAT 2015 and 2018},
editor = {Daniel Le Berre and Matti Järvisalo},
series = {EPiC Series in Computing},
volume = {59},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/2g59},
doi = {10.29007/lt8r},
pages = {94-110},
year = {2019}}
@inproceedings{POS-18:Effect_Scrambling_CNFs,
author = {Armin Biere and Marijn Heule},
title = {The Effect of Scrambling CNFs},
booktitle = {Proceedings of Pragmatics of SAT 2015 and 2018},
editor = {Daniel Le Berre and Matti Järvisalo},
series = {EPiC Series in Computing},
volume = {59},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/HtqQ},
doi = {10.29007/9dj5},
pages = {111-126},
year = {2019}}
@inproceedings{POS-18:Tuning_Parallel_SAT_Solvers,
author = {Thorsten Ehlers and Dirk Nowotka},
title = {Tuning Parallel SAT Solvers},
booktitle = {Proceedings of Pragmatics of SAT 2015 and 2018},
editor = {Daniel Le Berre and Matti Järvisalo},
series = {EPiC Series in Computing},
volume = {59},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/NkG7},
doi = {10.29007/z3g2},
pages = {127-143},
year = {2019}}
@inproceedings{POS-18:Problem_Meta_Data_Library,
author = {Markus Iser and Carsten Sinz},
title = {A Problem Meta-Data Library for Research in SAT},
booktitle = {Proceedings of Pragmatics of SAT 2015 and 2018},
editor = {Daniel Le Berre and Matti Järvisalo},
series = {EPiC Series in Computing},
volume = {59},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/jQXv},
doi = {10.29007/gdbb},
pages = {144-152},
year = {2019}}