@inproceedings{POS-18:Checking_Unsatisfiability_Proofs_Parallel,
author = {Norbert Manthey and Tobias Philipp},
title = {Checking Unsatisfiability Proofs in Parallel},
booktitle = {Proceedings of Pragmatics of SAT 2015 and 2018},
editor = {Daniel Le Berre and Matti Järvisalo},
series = {EPiC Series in Computing},
volume = {59},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/FftK},
doi = {10.29007/8w4v},
pages = {34-49},
year = {2019}}