DPLL算法中的变量决策启发式策略Heuristic Strategies for Deciding Variables in DPLL Algorithm
刘文秀, 江建国, 李千卉 下载量: 2,357 浏览量: 7,301
软件工程与应用 Vol.5 No.1, February 19 2016, PDF, , XML DOI:10.12677/SEA.2016.51006 被引量
基于活性编码的EUF公式的判定过程A Decision Procedure of EUF Formulas Based on Eager Encoding
程梦奇, 雷斯然, 江建国 下载量: 704 浏览量: 1,056
软件工程与应用 Vol.9 No.1, February 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91006 被引量
关于TSP的骨架算法综述The Review of Backbone Algorithm about TSP
王锦彪, 马发民 下载量: 3,078 浏览量: 10,879 国家自然科学基金支持
计算机科学与应用 Vol.3 No.8, November 28 2013, PDF, , XML DOI:10.12677/CSA.2013.38065 被引量
LIUF理论量词公式的插值算法Interpolation Algorithm for Quantifier Formulas in LIUF Theory
李千卉, 江建国, 刘文秀 下载量: 2,048 浏览量: 5,659
软件工程与应用 Vol.4 No.6, December 28 2015, PDF, , XML DOI:10.12677/SEA.2015.46016 被引量
基于动态数组的加法器重写优化算法Adder Rewriting Optimization Algorithm Based on Dynamic Array
张小盈, 吕妍颖, 江建国 下载量: 345 浏览量: 754
应用数学进展 Vol.10 No.11, November 16 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1011405 被引量
k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国 下载量: 314 浏览量: 458
应用数学进展 Vol.11 No.11, November 10 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111817 被引量
基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 222 浏览量: 332
应用数学进展 Vol.11 No.11, November 28 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111867 被引量
一种基于回溯求解约束满足问题的置信传播算法A Belief Propagation Algorithm for Constraint Satisfaction Problem Based on Backtracking
林 童 下载量: 298 浏览量: 497
应用数学进展 Vol.12 No.3, March 15 2023, PDF, HTML, XML DOI:10.12677/AAM.2023.123101 被引量
基于队列的树形加法优化认证器Queue-Based Tree Addition Optimization Authenticator
冯天烁, 史美琦, 齐 爽, 江建国 下载量: 238 浏览量: 346
计算机科学与应用 Vol.13 No.10, October 16 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.1310182 被引量
基于可见图方法的股票行业分析Stock Industry Analysis Based on Visibility Graph
师 野, 顾长贵, 阎 爽, 付馨懿 下载量: 287 浏览量: 503 国家自然科学基金支持
应用数学进展 Vol.11 No.11, November 22 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111848 被引量