DPLL算法中的变量决策启发式策略Heuristic Strategies for Deciding Variables in DPLL Algorithm
刘文秀, 江建国, 李千卉 下载量: 2,357 浏览量: 7,280
软件工程与应用 Vol.5 No.1, February 19 2016, PDF, , XML DOI:10.12677/SEA.2016.51006 被引量
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 被引量
缺血性脑卒中后吞咽障碍筛查评估进展Progress in Screening and Evaluation of Dysphagia after Ischemic Stroke
白丽媛, 张春雨, 呼日勒特木尔, 孙艳东 下载量: 113 浏览量: 263
临床医学进展 Vol.14 No.2, February 29 2024, PDF, HTML, XML DOI:10.12677/ACM.2024.142624 被引量
中国航天运载器舱段铆接技术发展现状及发展趋势研究Research on the Development Status and Development Trend of Riveting Technology of China Space Launch Vehicle Segment
王 洋, 于炳涛, 王树华, 李富晖, 王 岩, 马 强 下载量: 44 浏览量: 77
国际航空航天科学 Vol.12 No.2, June 30 2024, PDF, , XML DOI:10.12677/jast.2024.122015 被引量
好氧反硝化细菌脱氮性能及其在污水处理中应用研究进展Research Progress on Denitrification Performance of Aerobic Denitrifying Bacteria and Its Application in Wastewater Treatment
姚 伟 下载量: 207 浏览量: 440
微生物前沿 Vol.13 No.1, March 31 2024, PDF, HTML, XML DOI:10.12677/amb.2024.131005 被引量