基于活性编码的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 被引量
DPLL算法中的变量决策启发式策略Heuristic Strategies for Deciding Variables in DPLL Algorithm
刘文秀, 江建国, 李千卉 下载量: 2,357 浏览量: 7,278
软件工程与应用 Vol.5 No.1, February 19 2016, PDF, , XML DOI:10.12677/SEA.2016.51006 被引量
中医药治疗青少年特发性脊柱侧弯的临床研究进展Progress of Clinical Research on TCM in the Treatment of Adolescent Idiopathic Scoliosis
黄旭阳, 何育风, 黄 婷, 赖宋贤, 岳思倩, 苏 虹 下载量: 132 浏览量: 418 科研立项经费支持
中医学 Vol.13 No.3, March 29 2024, PDF, HTML, XML DOI:10.12677/tcm.2024.133085 被引量