命题逻辑中等价公式的证明方法探讨On the Proof Methods of Propositional Equivalences in Propositional Logic
杨恒云 下载量: 476 浏览量: 5,182 国家自然科学基金支持
创新教育研究 Vol.8 No.4, August 12 2020, PDF, HTML, XML DOI:10.12677/CES.2020.84071 被引量
DPLL算法中的变量决策启发式策略Heuristic Strategies for Deciding Variables in DPLL Algorithm
刘文秀, 江建国, 李千卉 下载量: 2,301 浏览量: 6,616
软件工程与应用 Vol.5 No.1, February 19 2016, PDF, , XML DOI:10.12677/SEA.2016.51006 被引量
有关蕴涵关系的探讨Discussion on Implication Relation (预印本)
黄汝广 下载量: 627 浏览量: 942
汉斯预印本 Vol.5 No.1, August 7 2020, PDF, , DOI:10.12677/HANSPrePrints.2020.51026 被引量
一种基于回溯求解约束满足问题的置信传播算法A Belief Propagation Algorithm for Constraint Satisfaction Problem Based on Backtracking
林 童 下载量: 215 浏览量: 351
应用数学进展 Vol.12 No.3, March 15 2023, PDF, HTML, XML DOI:10.12677/AAM.2023.123101 被引量
成员目标互赖、交互记忆会影响巴林特小组心理疏导效能吗?—理论演绎与命题推导Will Goal Interdependence and Transactive Memory Affect the Effectiveness of Psychological Counseling in Balint Group?—Theoretical Inference and Propositional Deduction
范冠华, 张倍恩 下载量: 933 浏览量: 1,299 国家科技经费支持
心理学进展 Vol.8 No.7, July 24 2018, PDF, HTML, XML DOI:10.12677/AP.2018.87124 被引量
运筹学中的指派问题On the Assigning Problem in Operation Research
赵天骁, 晁福刚, 任韩 下载量: 2,650 浏览量: 7,018 国家自然科学基金支持
应用数学进展 Vol.5 No.1, February 24 2016, PDF, , XML DOI:10.12677/AAM.2016.51007 被引量
从FPU问题到孤立子From FPU Problem to Solitons
苏映雪 下载量: 2,471 浏览量: 6,570
应用数学进展 Vol.5 No.3, August 17 2016, PDF, , XML DOI:10.12677/AAM.2016.53042 被引量
有理性问题的一点注记A Note on Rationality Problem
王国淇 下载量: 1,683 浏览量: 1,955
应用数学进展 Vol.7 No.1, January 16 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.71002 被引量
关于运输问题的几个注记Some Notes on Transportation Problem
王彩芳, 王攸妙 下载量: 1,003 浏览量: 2,437
教育进展 Vol.8 No.4, July 3 2018, PDF, HTML, XML DOI:10.12677/AE.2018.84055 被引量
不定常自由边界问题研究Study on Unsteady Free Boundary Problem
吴小庆 下载量: 2,145 浏览量: 4,021
理论数学 Vol.7 No.2, March 31 2017, PDF, , XML DOI:10.12677/PM.2017.72015 被引量