基于SAT求解器的故障树最小割集求解算法

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

基于SAT求解器的故障树最小割集求解算法

罗炜麟，魏欧，黄鸣宇

Computing minimal cut sets of fault tree using SAT solver

LUO Wei-lin，WEI Ou，HUANG Ming-yu

计算机工程与科学 . 2017, (04): 725 -733 .