"On Computing Preferred MUSes and MCSes."

João Marques-Silva, Alessandro Previti (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics