A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas.

Maher N. Mneimneh, Ins Lynce, Zaher S. Andraus, Joo Marques-Silva, Karem A. Sakallah

Browse the full SAT paper archive.