@article{7bc0f171fe2248199adfa3bab84bf4a9,
title = "A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas",
keywords = "Boolean satisfiability, Infeasibility, Minimal unsatisfiable subformula, MUS, SAT, Smallest minimal unsatisfiable subformula, SMUS",
author = "Mark Liffiton and Maher Mneimneh and In{\^e}s Lynce and Zaher Andraus and Jo{\~a}o Marques-Silva and Karem Sakallah",
year = "2009",
month = dec,
doi = "10.1007/s10601-008-9058-8",
language = "English",
volume = "14",
pages = "415--442",
journal = "Constraints",
issn = "1383-7133",
number = "4",
}