MaxSAT Evaluation 2020 - Benchmark: Identifying Maximum Probability Minimal Cut Sets in Fault Trees.
Martín BarrèreChris HankinPublished in: CoRR (2020)
Keyphrases
- decision trees
- probability distribution
- minimal subsets
- fault detection
- tennessee eastman
- evaluation metrics
- neural network
- tree structure
- quantitative evaluation
- evaluation method
- combinatorial optimization
- constraint satisfaction
- fault diagnosis
- expert systems
- search algorithm
- objective function
- clustering algorithm