CLC Number:
ZHAI Zhinian1;LU Yahui2;WAN Jian1,3;WANG Zhongpeng1;WU Mingwei1. Match-pruning Pattern Backtracking Algorithm for Exclusion Constrained Workflow Satisfiability Decision[J]. China Mechanical Engineering.
翟治年1;卢亚辉2;万健1,3;王中鹏1;吴茗蔚1. 互斥约束工作流可满足性决策的匹配剪枝模式回溯法[J]. 中国机械工程.