DPLL算法中的变量决策启发式策略Heuristic Strategies for Deciding Variables in DPLL Algorithm
刘文秀, 江建国, 李千卉 下载量: 2,301 浏览量: 6,617
软件工程与应用 Vol.5 No.1, February 19 2016, PDF, , XML DOI:10.12677/SEA.2016.51006 被引量