Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT.

Martn Barrre, Chris Hankin

Browse the full DSN paper archive.