A Flexible Proof Format for SAT Solver-Elaborator Communication

von Baek, Seulkee
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2021)