Our paper is published in JAIR

Our paper “How to Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability,” co-authored with Koos van der Linden, Gonçalo Homem de Almeida Correia, Mathijs de Weerdt, and Emir Demirović, has been published in the Journal of Artificial Intelligence Research! You may also be interested to read an accompanying post for a more accessible overview of the ideas we introduce.