Norbert Manthey, Davide Lanti, Ahmed Irfan. Modern Cooperative Parallel SAT Solving. In Daniel Le Berre, editor, POS-13. Fourth Pragmatics of SAT workshop, a workshop of the SAT 2013 conference, July 7, 2013, Helsinki, Finland. Volume 29 of EPiC Series, pages 41-54, EasyChair, 2013. [doi]
@inproceedings{MantheyLI13,
title = {Modern Cooperative Parallel SAT Solving},
author = {Norbert Manthey and Davide Lanti and Ahmed Irfan},
year = {2013},
url = {http://www.easychair.org/publications/?page=1532078046},
researchr = {https://researchr.org/publication/MantheyLI13},
cites = {0},
citedby = {0},
pages = {41-54},
booktitle = {POS-13. Fourth Pragmatics of SAT workshop, a workshop of the SAT 2013 conference, July 7, 2013, Helsinki, Finland},
editor = {Daniel Le Berre},
volume = {29},
series = {EPiC Series},
publisher = {EasyChair},
}