10.11959/j.issn.1000-0801.2016260
基于回溯树分解的互斥约束工作流可满足性计数
工作流、授权、约束、资源分配、可满足性
32
TP309(计算技术、计算机技术)
浙江省教育厅科研基金资助项目Y201533771;浙江省自然科学基金资助项目LY16F020027;国家自然科学基金资助项目No.61302112 Zhejiang Provincial Education Department Research Foundation of ChinaY201533771;Zhejiang Provincial Natural Science Foundation of ChinaLY16F020027;The National Natural Science Foundation of China61302112
2016-11-24(万方平台首次上网日期,不代表论文的发表时间)
共9页
101-109