2021
DOI: 10.1109/tr.2020.3014012
|View full text |Cite
|
Sign up to set email alerts
|

SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2

Citation Types

0
2
0

Year Published

2021
2021
2023
2023

Publication Types

Select...
2

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(2 citation statements)
references
References 42 publications
0
2
0
Order By: Relevance
“…The probability of failure is then quantitatively determined (Tavakoli and Nafar, 2021). According to Luo W. et al FTA computes a large class of system reliability properties and measures based on the fault tree that models failure propagation in a system (Luo et al, 2021).…”
Section: Introductionmentioning
confidence: 99%
“…The probability of failure is then quantitatively determined (Tavakoli and Nafar, 2021). According to Luo W. et al FTA computes a large class of system reliability properties and measures based on the fault tree that models failure propagation in a system (Luo et al, 2021).…”
Section: Introductionmentioning
confidence: 99%
“…The FTA is a quantitative evaluation technique that identifies an event as the top event and systematically arranges all the causes of the error in a top-down structure that looks like a tree in order to calculate the probability of occurrence of the top event [1]. According to Luo W. et al FTA computes a large class of system reliability properties and measures based on the fault tree that model's failure propagation in a system [2]. Risk assessment methods are often used in industrial processes to avoid risks and reduce losses [3,4].…”
Section: Introductionmentioning
confidence: 99%