Lee C. On the Size of Minimal Unsatisfiable Formulas. Electron. J. Combin. [Internet]. 2009Jan.30 [cited 2026Mar.16];16(1):N3. Available from: https://www.combinatorics.org/ojs/index.php/eljc/article/view/v16i1n3