Compiling Model-Based Diagnosis to Boolean Satisfaction.

Amit Metodi, Roni Stern, Meir Kalech, Michael Codish

Browse the full AAAI paper archive.