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