作者: 徐云, 陈国良, 张国义
关键词: SAT问题;难SAT实例;随机算法;不满足解数
摘要: DP算法是求解SAT问题的最有效完全算法之一,论文分析和讨论了DP算法中的各种分枝文字策略.并基于对不满足解数估计的方法,提出了一个有效的分枝文字策略.实验结果表明,提出的改进DP算法对难SAT实例有较好的平均性能.
在线下载
求解压缩传感问题的一种投影算法A Projection Algorithm for Compressive Sensing
于丽超, 屈 彪
运筹与模糊学Vol.5 No.1, 全文下载: PDF HTML XML DOI:10.12677/ORF.2015.51001, February 11 2015
求解结构型凸优化问题的一种算法改进An Improved Algorithm for Solving Structural Convex Optimization Problems
张宇婷, 李 锋
应用数学进展Vol.10 No.12, 全文下载: PDF HTML XML DOI:10.12677/AAM.2021.1012463, December 24 2021
公平性指派问题及其进化求解算法Fair Assignment Problem and Its Genetic Algorithm
崔允汀, 何胜学 国家自然科学基金支持
运筹与模糊学Vol.12 No.1, 全文下载: PDF HTML XML DOI:10.12677/ORF.2022.121002, January 29 2022
基于MSSOR求解信号恢复问题的ADMM算法ADMM Algorithm for Solving Signal Recovery Problem Based on MSSOR
袁 月, 宇振盛
应用数学进展Vol.10 No.11, 全文下载: PDF HTML XML DOI:10.12677/AAM.2021.1011418, November 22 2021
求解约束优化问题的改进樽海鞘算法An Improved Salp Swarm Algorithm for Con-strained Optimization Problems
李端洋, 史兰艳
应用数学进展Vol.12 No.5, 全文下载: PDF HTML XML DOI:10.12677/AAM.2023.125216, May 12 2023
一种基于回溯求解约束满足问题的置信传播算法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