Martín Barrère, Chris Hankin. Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT. In 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, DSN 2020, Valencia, Spain, June 29 - July 2, 2020 - Supplemental Volume. pages 53-54, IEEE, 2020. [doi]
Abstract is missing.