迁移关系的布尔函数表示的优化Optimization of the Boolean Function Representing Transition Relation
张小珍, 江建国 下载量: 1,615 浏览量: 3,929
软件工程与应用 Vol.5 No.6, December 21 2016, PDF, , XML DOI:10.12677/SEA.2016.56037 被引量
质点几何定理机器证明的研究进展Research Progress of Automated Particle Geometry Theorems Proving
胡晓璐, 江建国, 张 媛 下载量: 1,194 浏览量: 4,189
应用数学进展 Vol.7 No.12, December 10 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.712173 被引量
LIUF理论量词公式的插值算法Interpolation Algorithm for Quantifier Formulas in LIUF Theory
李千卉, 江建国, 刘文秀 下载量: 1,950 浏览量: 5,033
软件工程与应用 Vol.4 No.6, December 28 2015, PDF, , XML DOI:10.12677/SEA.2015.46016 被引量
DPLL算法中的变量决策启发式策略Heuristic Strategies for Deciding Variables in DPLL Algorithm
刘文秀, 江建国, 李千卉 下载量: 2,296 浏览量: 6,580
软件工程与应用 Vol.5 No.1, February 19 2016, PDF, , XML DOI:10.12677/SEA.2016.51006 被引量
基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢 下载量: 1,502 浏览量: 1,766
应用数学进展 Vol.6 No.8, November 29 2017, PDF, , XML DOI:10.12677/AAM.2017.68123 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,443 浏览量: 5,616
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
两类布尔函数的OBDD阶The OBDD Orders of Two Types of Boolean Functions
张媛, 江建国, 胡晓璐 下载量: 995 浏览量: 3,396
软件工程与应用 Vol.7 No.6, December 27 2018, PDF, HTML, XML DOI:10.12677/SEA.2018.76032 被引量
分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 784 浏览量: 2,533
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
基于活性编码的EUF公式的判定过程A Decision Procedure of EUF Formulas Based on Eager Encoding
程梦奇, 雷斯然, 江建国 下载量: 599 浏览量: 901
软件工程与应用 Vol.9 No.1, February 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91006 被引量
Gro¨ bner基方法验证乘法器的Maple实现Maple Implementation of Verification Multiplier Based on Gro¨ bner Basis
刘佳姝, 张璇思, 江建国 下载量: 554 浏览量: 831
应用数学进展 Vol.9 No.11, November 17 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.911220 被引量