TY  - RPRT
TI  - MaxSAT Evaluation 2020 -- Benchmark: Identifying Maximum Probability Minimal Cut Sets in Fault Trees
AU  - Martín Barrère
AU  - Chris Hankin
PY  - 2020
UR  - https://arxiv.org/abs/2007.08255
ID  - 2007.08255
ER  -