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

by M N Mneimneh, I Lynce, Z S Andraus, J P Marques-Silva, K A Sakallah
Venue:In Proc. SAT’05,