A novel sat-based approach to model based diagnosis (0)

by Amit Metodi, R Stern, Meir Kalech, Michael Codish
Venue:J. Artif. Intell. Res. (JAIR