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]
@inproceedings{BarrereH20,
title = {Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT},
author = {Martín Barrère and Chris Hankin},
year = {2020},
doi = {10.1109/DSN-S50200.2020.00029},
url = {https://doi.org/10.1109/DSN-S50200.2020.00029},
researchr = {https://researchr.org/publication/BarrereH20},
cites = {0},
citedby = {0},
pages = {53-54},
booktitle = {50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, DSN 2020, Valencia, Spain, June 29 - July 2, 2020 - Supplemental Volume},
publisher = {IEEE},
isbn = {978-1-7281-7260-6},
}