Solving Strong-Fault Diagnostic Models by Model Relaxation.

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

Browse the full IJCAI paper archive.