TY  - RPRT
TI  - How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization
AU  - Konstantin Sidorov
AU  - Koos van der Linden
AU  - Gonçalo Homem de Almeida Correia
AU  - Mathijs de Weerdt
AU  - Emir Demirović
PY  - 2024
DO  - 10.1613/jair.1.22128
UR  - https://arxiv.org/abs/2411.07955
ID  - 2411.07955
ER  -