计算机科学与探索2018，Vol.12Issue(12)：2021-2032,12.DOI:10.3778/j.issn.1673-9418.1710074
工作流可满足决策(≠)的完备独立树分解回溯法
Backtracking Tree-Decomposition Method with Complete Independence for Workflow Satisfiability Decision (≠)
摘要
关键词
工作流/访问控制/资源分配/约束满足分类
信息技术与安全科学引用本文复制引用
翟治年,卢亚辉,余法红,高慧敏..工作流可满足决策(≠)的完备独立树分解回溯法[J].计算机科学与探索,2018,12(12):2021-2032,12.基金项目
The National Natural Science Foundation of China under Grant No. 61572163 (国家自然科学基金) （国家自然科学基金）
the Natural Science Foundation of Zhejiang Province under Grant Nos. LY15F030021, LY16F020027 (浙江省自然科学基金) （浙江省自然科学基金）
the Research Program of the Educa-tion Department of Zhejiang Province under Grant No. Y201737476 (浙江省教育厅科研项目) （浙江省教育厅科研项目）
the Humanities and Social Science Foundation of the Ministry of Education of China under Grant No. 17YJC630109 (教育部人文社会科学研究项目) （教育部人文社会科学研究项目）
the Philosophy and Social Science Foundation of Zhejiang Province under Grant No. 15NDJC186YB (浙江省哲学社会科学规划项目). （浙江省哲学社会科学规划项目）
