POS-10: BibTeX Entries

Volume

@proceedings{POS-10,
  title     = {POS-10. Pragmatics of SAT},
  editor    = {Daniel Le Berre},
  series    = {EPiC Series in Computing},
  volume    = {8},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2012}}

Papers

@inproceedings{POS-10:From_Parallel_SAT_Distributed,
  author    = {Youssef Hamadi},
  title     = {From Parallel SAT to Distributed SAT},
  booktitle = {POS-10. Pragmatics of SAT},
  editor    = {Daniel Le Berre},
  series    = {EPiC Series in Computing},
  volume    = {8},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/CHg},
  doi       = {10.29007/44vf},
  pages     = {1},
  year      = {2012}}


@inproceedings{POS-10:Enhanced_Gaussian_Elimination_DPLL,
  author    = {Mate Soos},
  title     = {Enhanced Gaussian Elimination in DPLL-based SAT Solvers},
  booktitle = {POS-10. Pragmatics of SAT},
  editor    = {Daniel Le Berre},
  series    = {EPiC Series in Computing},
  volume    = {8},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/j1D},
  doi       = {10.29007/g7ss},
  pages     = {2-14},
  year      = {2012}}


@inproceedings{POS-10:Improved_Exact_Solver_Weighted,
  author    = {Adrian Kuegel},
  title     = {Improved Exact Solver for the Weighted MAX-SAT Problem},
  booktitle = {POS-10. Pragmatics of SAT},
  editor    = {Daniel Le Berre},
  series    = {EPiC Series in Computing},
  volume    = {8},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/p3wf},
  doi       = {10.29007/38lm},
  pages     = {15-27},
  year      = {2012}}


@inproceedings{POS-10:Towards_Improving_Resource_Usage,
  author    = {Norbert Manthey and Ari Saptawijaya},
  title     = {Towards Improving the Resource Usage of SAT-solvers},
  booktitle = {POS-10. Pragmatics of SAT},
  editor    = {Daniel Le Berre},
  series    = {EPiC Series in Computing},
  volume    = {8},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/9W},
  doi       = {10.29007/3vwv},
  pages     = {28-40},
  year      = {2012}}


@inproceedings{POS-10:Solving_MaxSAT_Through_SAT,
  author    = {Carlos Ansótegui and María Luisa Bonet and Jordi Levy},
  title     = {On Solving MaxSAT Through SAT},
  booktitle = {POS-10. Pragmatics of SAT},
  editor    = {Daniel Le Berre},
  series    = {EPiC Series in Computing},
  volume    = {8},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Z8},
  doi       = {10.29007/vxm5},
  pages     = {41-48},
  year      = {2012}}