Proof minimization preprint

Created in November 13, 2024

2024

We have released the preprint version of our work on discovering the shortest resolution proofs of the unsatisfiability of Boolean formulas.