SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets.
Weilin LuoOu WeiHai WanPublished in: IEEE Trans. Reliab. (2021)
Keyphrases
- computationally efficient
- learning algorithm
- dynamic programming
- optimal solution
- np hard
- times faster
- computational complexity
- preprocessing
- detection algorithm
- cost function
- expectation maximization
- clustering method
- objective function
- matching algorithm
- similarity measure
- particle swarm optimization
- simulated annealing
- randomly generated
- significant improvement
- neural network
- convex hull
- version space
- orders of magnitude
- optimization algorithm
- worst case
- probabilistic model
- experimental evaluation
- search space