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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2014}}

Papers

@inproceedings{POS-14:Dolius_Distributed_Parallel_SAT,
  author    = {Gilles Audemard and Benoît Hoessen and Saïd Jabbour and Cédric 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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/M7V},
  doi       = {10.29007/hvqt},
  pages     = {1-11},
  year      = {2014}}


@inproceedings{POS-14:Validating_Unsatisfiability_Results_Clause,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3S1},
  doi       = {10.29007/6vwg},
  pages     = {12-25},
  year      = {2014}}


@inproceedings{POS-14:Post_Mortem_Analysis_SAT,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/N3GD},
  doi       = {10.29007/gpp8},
  pages     = {26-40},
  year      = {2014}}


@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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/SD},
  doi       = {10.29007/9skn},
  pages     = {41-56},
  year      = {2014}}


@inproceedings{POS-14:New_CNF_Features_Formula,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/xw2},
  doi       = {10.29007/b8t1},
  pages     = {57-71},
  year      = {2014}}


@inproceedings{POS-14:Typical_case_complexity_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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/c},
  doi       = {10.29007/cvj9},
  pages     = {72-87},
  year      = {2014}}


@inproceedings{POS-14:Lingeling_Essentials_Tutorial_Design,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/xJs},
  doi       = {10.29007/jhd7},
  pages     = {88},
  year      = {2014}}


@inproceedings{POS-14:Generic_CDCL_Formalization_Modern,
  author    = {Steffen Hölldobler 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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/nTn},
  doi       = {10.29007/7n71},
  pages     = {89-102},
  year      = {2014}}


@inproceedings{POS-14:iDQ_Instantiation_Based_DQBF,
  author    = {Andreas Fröhlich and Gergely Kovásznai 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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/PRV},
  doi       = {10.29007/1s5k},
  pages     = {103-116},
  year      = {2014}}