中国机械工程2018，Vol.29Issue(24)：2988-2998,11.DOI:10.3969/j.issn.1004-132X.2018.24.014
互斥约束工作流可满足性决策的匹配剪枝模式回溯法
Match-pruning Pattern Backtracking Algorithm for Exclusion Constrained Workflow Satisfiability Decision
摘要
关键词
工作流/授权/约束/资源分配/可满足性分类
信息技术与安全科学引用本文复制引用
翟治年,卢亚辉,万健,王中鹏,吴茗蔚..互斥约束工作流可满足性决策的匹配剪枝模式回溯法[J].中国机械工程,2018,29(24):2988-2998,11.基金项目
国家自然科学基金资助项目(61572163,61502429) （61572163,61502429）
浙江省自然科学基金资助项目(LY17F050005) （LY17F050005）
浙江省教育厅科研项目(Y201737476) （Y201737476）
教育部人文社会科学研究项目(17YJC630109,17YJA880004) （17YJC630109,17YJA880004）
