POS-18:BibTeX Entries

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