作者: 毕忠勤, 陈光喜, 单美静
关键词: 可满足性问题;局部搜索;多项式扩展;自动求解
摘要: SAT问题在人工智能、计算机基础理论研究和人工智能等领域有着广泛的应用,近年来,证明该问题的可满足性取得了巨大的成功,但在求出SAT问题的所有解方面还有待进一步研究.利用一个简单的变换,将可满足性(SAT)问题转化为多项式形式,然后根据命题逻辑的性质以及多项式的性质,得到一个求解出SAT 问题所有解的算法.实验结果显示该算法是有效和可行的。
在线下载
一种基于回溯求解约束满足问题的置信传播算法A Belief Propagation Algorithm for Constraint Satisfaction Problem Based on Backtracking
林 童
应用数学进展Vol.12 No.3, 全文下载: PDF HTML XML DOI:10.12677/AAM.2023.123101, March 15 2023
一种集成电路全局布局混合整数规划模型A Mixed Integer Programming Model for Global Placement of Integrated Circuit
解 飞
运筹与模糊学Vol.13 No.4, 全文下载: PDF HTML XML DOI:10.12677/ORF.2023.134288, August 3 2023
偏微分方程的满足部分边界条件的解的多样性The Diversity of Solutions Satisfied Partial Boundary Conditions for a Partial Differential Equation
李丹丹, 银 山 科研立项经费支持
应用数学进展Vol.7 No.5, 全文下载: PDF HTML XML DOI:10.12677/AAM.2018.75073, May 25 2018
公平性指派问题及其进化求解算法Fair Assignment Problem and Its Genetic Algorithm
崔允汀, 何胜学 国家自然科学基金支持
运筹与模糊学Vol.12 No.1, 全文下载: PDF HTML XML DOI:10.12677/ORF.2022.121002, January 29 2022
DPLL算法中的变量决策启发式策略Heuristic Strategies for Deciding Variables in DPLL Algorithm
刘文秀, 江建国, 李千卉
软件工程与应用Vol.5 No.1, 全文下载: PDF HTML XML DOI:10.12677/SEA.2016.51006, February 19 2016
求解中国邮递员问题的圈生成算法Cycle Generating Algorithm for Solving Chinese Postman Problem
建模与仿真Vol.11 No.1, 全文下载: PDF HTML XML DOI:10.12677/MOS.2022.111018, January 26 2022