Volume
@proceedings{POS-18,
title = {Proceedings of Pragmatics of SAT 2015 and 2018},
editor = {Daniel Le Berre and Matti J\textbackslash{}"arvisalo},
series = {EPiC Series in Computing},
volume = {59},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{POS-18:Evaluating_CDCL_Restart_Schemes,
author = {Armin Biere and Andreas Fr\textbackslash{}"ohlich},
title = {Evaluating CDCL Restart Schemes},
booktitle = {Proceedings of Pragmatics of SAT 2015 and 2018},
editor = {Daniel Le Berre and Matti J\textbackslash{}"arvisalo},
series = {EPiC Series in Computing},
volume = {59},
pages = {1--17},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/RdBL},
doi = {10.29007/89dw}}
@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\textbackslash{}"arvisalo},
series = {EPiC Series in Computing},
volume = {59},
pages = {18--33},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/s7wG},
doi = {10.29007/8m31}}
@inproceedings{POS-18:Checking_Unsatisfiability_Proofs_in,
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\textbackslash{}"arvisalo},
series = {EPiC Series in Computing},
volume = {59},
pages = {34--49},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/FftK},
doi = {10.29007/8w4v}}
@inproceedings{POS-18:Applications_of_MaxSAT_in,
author = {Jeremias Berg and Antti Hyttinen and Matti J\textbackslash{}"arvisalo},
title = {Applications of MaxSAT in Data Analysis},
booktitle = {Proceedings of Pragmatics of SAT 2015 and 2018},
editor = {Daniel Le Berre and Matti J\textbackslash{}"arvisalo},
series = {EPiC Series in Computing},
volume = {59},
pages = {50--64},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/6HpF},
doi = {10.29007/3qkh}}
@inproceedings{POS-18:Competitive_Sorter_based_Encoding_of,
author = {Micha\{\textbackslash{}l\} Karpi\textbackslash{}'nski and Marek Piotr\textbackslash{}'ow},
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\textbackslash{}"arvisalo},
series = {EPiC Series in Computing},
volume = {59},
pages = {65--78},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/tsHw},
doi = {10.29007/hh3v}}
@inproceedings{POS-18:CryptoMiniSat_Switches_Optimization_for_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\textbackslash{}"arvisalo},
series = {EPiC Series in Computing},
volume = {59},
pages = {79--93},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/5g6S},
doi = {10.29007/vpd6}}
@inproceedings{POS-18:Two_flavors_of_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\textbackslash{}"arvisalo},
series = {EPiC Series in Computing},
volume = {59},
pages = {94--110},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/2g59},
doi = {10.29007/lt8r}}
@inproceedings{POS-18:Effect_of_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\textbackslash{}"arvisalo},
series = {EPiC Series in Computing},
volume = {59},
pages = {111--126},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/HtqQ},
doi = {10.29007/9dj5}}
@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\textbackslash{}"arvisalo},
series = {EPiC Series in Computing},
volume = {59},
pages = {127--143},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/NkG7},
doi = {10.29007/z3g2}}
@inproceedings{POS-18:Problem_Meta_Data_Library_for,
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\textbackslash{}"arvisalo},
series = {EPiC Series in Computing},
volume = {59},
pages = {144--152},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/jQXv},
doi = {10.29007/gdbb}}