DPLL算法中的变量决策启发式策略Heuristic Strategies for Deciding Variables in DPLL Algorithm
刘文秀, 江建国, 李千卉 下载量: 2,357 浏览量: 7,271
软件工程与应用 Vol.5 No.1, February 19 2016, PDF, , XML DOI:10.12677/SEA.2016.51006 被引量
基于膜系统的粒子群算法Particle Swarm Optimization Algorithm Based on Membrane System
宋 楠, 陈韬伟, 余益民, 赵 昆 下载量: 1,119 浏览量: 1,626
计算机科学与应用 Vol.9 No.7, July 26 2019, PDF, HTML, XML DOI:10.12677/CSA.2019.97158 被引量
RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 818 浏览量: 1,355
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量