@misc{indiciae6256843f6913,
  title = {Proof-Stitch: Proof Combination for Divide and Conquer SAT Solvers},
  author = {Abhishek Nair and Saranyu Chattopadhyay and Haoze Wu and Alex Ozdemir and Clark Barrett},
  year = {2022},
  url = {https://arxiv.org/abs/2209.05201},
  note = {Source identifier: 2209.05201}
}