计算机应用与软件2023，Vol.40Issue(2)：138-143,6.DOI:10.3969/j.issn.1000-386x.2023.02.022
基于可满足性模理论的虚拟网映射问题求解
VIRTUAL NETWORK MAPPING PROBLEM BASED ON SATISFIABILITY MODULE THEORY
摘要
关键词
虚拟网映射/可满足性模理论/SMT公式/最优解分类
信息技术与安全科学引用本文复制引用
余建军,吴春明..基于可满足性模理论的虚拟网映射问题求解[J].计算机应用与软件,2023,40(2):138-143,6.基金项目
浙江省自然科学基金项目(LY14F020010) （LY14F020010）
国家高技术研究发展计划(863计划)项目(2015AA016103) （863计划）
国家重点研发计划项目(2016YFB0800102) （2016YFB0800102）
浙江省重点研发计划项目(2017C01064). （2017C01064）
