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

Papers

@inproceedings{POS-10:From_Parallel_SAT_to,
  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},
  pages     = {1},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/CHg},
  doi       = {10.29007/44vf}}

@inproceedings{POS-10:Enhanced_Gaussian_Elimination_in,
  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},
  pages     = {2--14},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/j1D},
  doi       = {10.29007/g7ss}}

@inproceedings{POS-10:Improved_Exact_Solver_for,
  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},
  pages     = {15--27},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/p3wf},
  doi       = {10.29007/38lm}}

@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},
  pages     = {28--40},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/9W},
  doi       = {10.29007/3vwv}}

@inproceedings{POS-10:On_Solving_MaxSAT_Through,
  author    = {Carlos Ans\textbackslash{}'otegui and Mar\textbackslash{}'ia 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},
  pages     = {41--48},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Z8},
  doi       = {10.29007/vxm5}}