POS-14:BibTeX Entries

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