POS-18: BibTeX Entries

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