Volume
@proceedings{POS-14,
title = {POS-14. Fifth Pragmatics of SAT workshop},
editor = {Daniel Le Berre},
series = {EPiC Series in Computing},
volume = {27},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{POS-14:Dolius_Distributed_Parallel_SAT,
author = {Gilles Audemard and Beno\textbackslash{}\textasciicircum{}it Hoessen and Sa\textbackslash{}"id Jabbour and C\textbackslash{}'edric Piette},
title = {Dolius: A Distributed Parallel SAT Solving Framework},
booktitle = {POS-14. Fifth Pragmatics of SAT workshop},
editor = {Daniel Le Berre},
series = {EPiC Series in Computing},
volume = {27},
pages = {1--11},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/M7V},
doi = {10.29007/hvqt}}
@inproceedings{POS-14:Validating_Unsatisfiability_Results_of,
author = {Marijn Heule and Norbert Manthey and Tobias Philipp},
title = {Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers},
booktitle = {POS-14. Fifth Pragmatics of SAT workshop},
editor = {Daniel Le Berre},
series = {EPiC Series in Computing},
volume = {27},
pages = {12--25},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/3S1},
doi = {10.29007/6vwg}}
@inproceedings{POS-14:Post_Mortem_Analysis_of,
author = {Laurent Simon},
title = {Post Mortem Analysis of SAT Solver Proofs},
booktitle = {POS-14. Fifth Pragmatics of SAT workshop},
editor = {Daniel Le Berre},
series = {EPiC Series in Computing},
volume = {27},
pages = {26--40},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/N3GD},
doi = {10.29007/gpp8}}
@inproceedings{POS-14:Formula_partitioning_revisited,
author = {Zoltan Mann and Pal Papp},
title = {Formula partitioning revisited},
booktitle = {POS-14. Fifth Pragmatics of SAT workshop},
editor = {Daniel Le Berre},
series = {EPiC Series in Computing},
volume = {27},
pages = {41--56},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/SD},
doi = {10.29007/9skn}}
@inproceedings{POS-14:New_CNF_Features_and,
author = {Enrique Alfonso and Norbert Manthey},
title = {New CNF Features and Formula Classification},
booktitle = {POS-14. Fifth Pragmatics of SAT workshop},
editor = {Daniel Le Berre},
series = {EPiC Series in Computing},
volume = {27},
pages = {57--71},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/xw2},
doi = {10.29007/b8t1}}
@inproceedings{POS-14:Typical_case_complexity_and_SAT,
author = {Zoltan Mann},
title = {Typical-case complexity and the SAT competitions},
booktitle = {POS-14. Fifth Pragmatics of SAT workshop},
editor = {Daniel Le Berre},
series = {EPiC Series in Computing},
volume = {27},
pages = {72--87},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/c},
doi = {10.29007/cvj9}}
@inproceedings{POS-14:Lingeling_Essentials_Tutorial_on,
author = {Armin Biere},
title = {Lingeling Essentials, A Tutorial on Design and Implementation Aspects of the the SAT Solver Lingeling},
booktitle = {POS-14. Fifth Pragmatics of SAT workshop},
editor = {Daniel Le Berre},
series = {EPiC Series in Computing},
volume = {27},
pages = {88},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/xJs},
doi = {10.29007/jhd7}}
@inproceedings{POS-14:Generic_CDCL__Formalization,
author = {Steffen H\textbackslash{}"olldobler and Norbert Manthey and Tobias Philipp and Peter Steinke},
title = {Generic CDCL -- A Formalization of Modern Propositional Satisfiability Solvers},
booktitle = {POS-14. Fifth Pragmatics of SAT workshop},
editor = {Daniel Le Berre},
series = {EPiC Series in Computing},
volume = {27},
pages = {89--102},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/nTn},
doi = {10.29007/7n71}}
@inproceedings{POS-14:iDQ_Instantiation_Based_DQBF_Solving,
author = {Andreas Fr\textbackslash{}"ohlich and Gergely Kov\textbackslash{}'asznai and Armin Biere and Helmut Veith},
title = {iDQ: Instantiation-Based DQBF Solving},
booktitle = {POS-14. Fifth Pragmatics of SAT workshop},
editor = {Daniel Le Berre},
series = {EPiC Series in Computing},
volume = {27},
pages = {103--116},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/PRV},
doi = {10.29007/1s5k}}