A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas (0)

by M H Liffiton, M N Mneimneh, I Lynce, Z S Andraus, J Marques-Silva, K A Sakallah
Venue:Constraints