How to Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization
Sidorov, K., Van der Linden, K., Correia, G. H. A., De Weerdt, M. & Demirović, E. (2026) "How to Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization" Journal of Artificial Intelligence Research 86, Article 54, 39 pages.
