Return to Article Details On the Size of Minimal Unsatisfiable Formulas Download Download PDF