1
TITLE: A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas  Full Text
AUTHORS: Liffiton, M; Mneimneh, M; Lynce, I ; Andraus, Z; Marques Silva, J ; Sakallah, K;
PUBLISHED: 2009, SOURCE: CONSTRAINTS, VOLUME: 14, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall