Efficient model based diagnosis with maximum satisfiability (2015)

by J Marques-Silva, M Janota, A Ignatiev, A Morgado
Venue:in Proc. IJCAI