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