命题逻辑中等价公式的证明方法探讨On the Proof Methods of Propositional Equivalences in Propositional Logic
杨恒云 下载量: 545 浏览量: 5,421 国家自然科学基金支持
创新教育研究 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,357 浏览量: 7,268
软件工程与应用 Vol.5 No.1, February 19 2016, PDF, , XML DOI:10.12677/SEA.2016.51006 被引量
有关蕴涵关系的探讨Discussion on Implication Relation (预印本)
黄汝广 下载量: 728 浏览量: 1,082
汉斯预印本 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
林 童 下载量: 298 浏览量: 495
应用数学进展 Vol.12 No.3, March 15 2023, PDF, HTML, XML DOI:10.12677/AAM.2023.123101 被引量
一种基于置信传播的算法求解随机约束满足问题A Belief Propagation Based Algorithm for Solving Stochastic Constraint Satisfaction Problem
刘梦圆 下载量: 55 浏览量: 147
理论数学 Vol.14 No.6, June 14 2024, PDF, , XML DOI:10.12677/pm.2024.146227 被引量
成员目标互赖、交互记忆会影响巴林特小组心理疏导效能吗?—理论演绎与命题推导Will Goal Interdependence and Transactive Memory Affect the Effectiveness of Psychological Counseling in Balint Group?—Theoretical Inference and Propositional Deduction
范冠华, 张倍恩 下载量: 1,084 浏览量: 1,492 国家科技经费支持
心理学进展 Vol.8 No.7, July 24 2018, PDF, HTML, XML DOI:10.12677/AP.2018.87124 被引量
基于边际概率分布重新进行单变量选取的置信传播算法求解约束满足问题Belief Propagation Algorithm for Solving Constraint Satisfaction Problem Based on Marginal Probability Distribution with Re-Selection of Univariate
刘梦圆 下载量: 48 浏览量: 120
理论数学 Vol.14 No.5, May 31 2024, PDF, HTML, XML DOI:10.12677/pm.2024.145190 被引量
运筹学中的指派问题On the Assigning Problem in Operation Research
赵天骁, 晁福刚, 任韩 下载量: 2,757 浏览量: 7,314 国家自然科学基金支持
应用数学进展 Vol.5 No.1, February 24 2016, PDF, , XML DOI:10.12677/AAM.2016.51007 被引量
从FPU问题到孤立子From FPU Problem to Solitons
苏映雪 下载量: 2,575 浏览量: 6,858
应用数学进展 Vol.5 No.3, August 17 2016, PDF, , XML DOI:10.12677/AAM.2016.53042 被引量
有理性问题的一点注记A Note on Rationality Problem
王国淇 下载量: 1,734 浏览量: 2,018
应用数学进展 Vol.7 No.1, January 16 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.71002 被引量