A Flexible Proof Format for SAT Solver-Elaborator Communication.

Seulkee Baek, Mario Carneiro, Marijn J. H. Heule

Browse the full TACAS paper archive.