工作流可满足性(≠,=)计数及其#P完全性
翟治年, 卢亚辉, 余法红, 周武杰, 向坚, 吴茗蔚
Counting Workflow Satisfiability(≠,=) and Its #P Completeness
ZHAI Zhi-nian, LU Ya-hui, YU Fa-hong, ZHOU Wu-jie, XIANG Jian, WU Ming-wei
电子学报
.
2017, (3): 605
-611
.
DOI: 10.3969/j.issn.0372-2112.2017.03.015
