TY  - RPRT
TI  - A Flexible Proof Format for SAT Solver-Elaborator Communication
AU  - Seulkee Baek
AU  - Mario Carneiro
AU  - Marijn J. H. Heule
PY  - 2022
DO  - 10.46298/lmcs-18(2:3)2022
UR  - https://arxiv.org/abs/2109.09665
ID  - 2109.09665
ER  -