Abhishek Anil Nair, Saranyu Chattopadhyay, Haoze Wu 0001, Alex Ozdemir, Clark W. Barrett. Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers. In FMCAD. pages 84-88, 2022. [doi]
@inproceedings{NairCWOB22,
title = {Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers},
author = {Abhishek Anil Nair and Saranyu Chattopadhyay and Haoze Wu 0001 and Alex Ozdemir and Clark W. Barrett},
year = {2022},
doi = {10.34727/2022/isbn.978-3-85448-053-2_14},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_14},
researchr = {https://researchr.org/publication/NairCWOB22},
cites = {0},
citedby = {0},
pages = {84-88},
booktitle = {FMCAD},
}