Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers

Published in Formal Methods in Computer-Aided Design (FMCAD'22), 2022