%0 Conference Paper %1 conf/sat/MantheyP18 %A Manthey, Norbert %A Philipp, Tobias %B POS@SAT %D 2018 %E Berre, Daniel Le %E Järvisalo, Matti %I EasyChair %K dblp %P 34-49 %T Checking Unsatisfiability Proofs in Parallel. %U http://dblp.uni-trier.de/db/conf/sat/pos2018.html#MantheyP18 %V 59

@inproceedings{conf/sat/MantheyP18, added-at = {2021-08-15T00:00:00.000+0200}, author = {Manthey, Norbert and Philipp, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/25234e76b2aad74cbd968271d86cce36f/dblp}, booktitle = {POS@SAT}, crossref = {conf/sat/2018pos}, editor = {Berre, Daniel Le and Järvisalo, Matti}, ee = {https://doi.org/10.29007/8w4v}, interhash = {045f5efa4c6b2aac8d5b0f5de9bf0e20}, intrahash = {5234e76b2aad74cbd968271d86cce36f}, keywords = {dblp}, pages = {34-49}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T19:21:33.000+0200}, title = {Checking Unsatisfiability Proofs in Parallel.}, url = {http://dblp.uni-trier.de/db/conf/sat/pos2018.html#MantheyP18}, volume = 59, year = 2018 }