基于可满足性计数的(≠,=)约束工作流鲁棒性验证
翟治年, 王刚, 郑志军, 彭艳斌, 潘志刚, 王中鹏
Verification of(≠,=)Constrained Workflow Robustness Based on Satisfiability Counting
ZHAI Zhi-nian, WANG Gang, ZHENG Zhi-jun, PENG Yan-bing, PAN Zhi-gang, WANG Zhong-peng
电子学报
.
2015, (11): 2298
-2304
.
DOI: 10.3969/j.issn.0372-2112.2015.11.024
