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 被引量
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 被引量
基于活性编码的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 被引量
基于布尔匹配规则的实体解析方法Entity Resolution Based on Boolean Matching Rules
褚良旭, 李 贵, 李征宇, 韩子扬, 曹科研 下载量: 491 浏览量: 875
数据挖掘 Vol.11 No.2, April 28 2021, PDF, HTML, XML DOI:10.12677/HJDM.2021.112012 被引量