Lee, Choongbum

• The Electronic Journal of Combinatorics Volume 16, Issue 1 (2009) - Notes
  On the Size of Minimal Unsatisfiable Formulas
  Abstract  PDF