工作流可满足决策（≠）的完备独立树分解回溯法
翟治年，卢亚辉，余法红，高慧敏
Backtracking Tree-Decomposition Method with Complete Independence for Workflow Satisfiability Decision (≠)
ZHAI Zhinian, LU Yahui, YU Fahong, GAO Huimin
计算机科学与探索
.
2018, (12): 2021
-2032
.
DOI: 10.3778/j.issn.1673-9418.1710074
