TY  - RPRT
TI  - Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT
AU  - Martín Barrère
AU  - Chris Hankin
PY  - 2020
UR  - https://arxiv.org/abs/2005.03003
ID  - 2005.03003
ER  -