%0 Conference Paper %1 conf/fmcad/NairCWOB22 %A Nair, Abhishek Anil %A Chattopadhyay, Saranyu %A Wu, Haoze %A Ozdemir, Alex %A Barrett, Clark W. %B FMCAD %D 2022 %E Griggio, Alberto %E Rungta, Neha %I IEEE %K dblp %P 84-88 %T Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2022.html#NairCWOB22 %@ 978-3-85448-053-2

@inproceedings{conf/fmcad/NairCWOB22, added-at = {2024-05-07T00:00:00.000+0200}, author = {Nair, Abhishek Anil and Chattopadhyay, Saranyu and Wu, Haoze and Ozdemir, Alex and Barrett, Clark W.}, biburl = {https://www.bibsonomy.org/bibtex/2190875b3ab4c4cbd8197948201354450/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2022}, editor = {Griggio, Alberto and Rungta, Neha}, ee = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_14}, interhash = {c93a498e4ecc31be0db3f77ed1c4b0f4}, intrahash = {190875b3ab4c4cbd8197948201354450}, isbn = {978-3-85448-053-2}, keywords = {dblp}, pages = {84-88}, publisher = {IEEE}, timestamp = {2024-05-13T09:40:55.000+0200}, title = {Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2022.html#NairCWOB22}, year = 2022 }