Backtracking Tree-Decomposition Method with Complete Independence for Workflow Satisfiability Decision (≠)
ZHAI Zhinian, LU Yahui, YU Fahong, GAO Huimin
Journal of Frontiers of Computer Science and Technology . 2018, (12): 2021 -2032 .  DOI: 10.3778/j.issn.1673-9418.1710074