退出
我的积分:
中文文献批量获取
外文文献批量获取
余建军; 吴春明;
衢州职业技术学院信息工程学院;
浙江大学计算机科学与技术学院;
虚拟网映射; 可满足性模理论; SMT公式; 最优解;
机译:多处理器系统任务映射与调度的可满足性模图理论
机译:可满足性模理论与基于指标的演化算法相结合的并行框架,用于配置大型和实际软件产品线
机译:基于可满足性模理论求解器的有效测试用例,用于面向服务的工作流应用程序
机译:从命题可满足性到可满足性模理论
机译:在可满足性模理论中求解量化的一阶公式。
机译:多模网基于网络的Covid-19焦虑和压力弹性训练(海岸):单队与第一个受访者的可行性研究
机译:基于可满足性模理论的模糊答案集计算
机译:基于可满足模理论方法的模糊逻辑控制器稳定性分析。
机译:基于可满足性模块理论的基于程序的电源管理装置,电源系统及电源管理方法
机译:基于可满足性模差逻辑求解器确定混合制造工艺计划的系统和方法
机译:虚拟专用网的基于策略的Internet协议安全性配置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。