@article{7057594d4abd4081a2d81159f486bfbe,
title = "Fast, flexible MUS enumeration",
keywords = "Infeasibility analysis, Minimal correction sets, Minimal unsatisfiable subsets, MUS enumeration",
author = "Liffiton, {Mark H.} and Alessandro Previti and Ammar Malik and Joao Marques-Silva",
note = "Publisher Copyright: {\textcopyright} 2015, Springer Science+Business Media New York.",
year = "2016",
month = apr,
day = "1",
doi = "10.1007/s10601-015-9183-0",
language = "English",
volume = "21",
pages = "223--250",
journal = "Constraints",
issn = "1383-7133",
number = "2",
}