单位步行

本文提出了一种新的SAT随机算法,即合取范式下布尔公式的可满足性问题。尽管算法简单,但它在许多常见的基准测试中表现良好,从图形着色问题到微处理器验证。我们的算法是受两个随机算法的启发,它们具有最佳的当前最坏情况上界。我们将这些算法的主要思想结合到一个算法中。我们使用的两种方法是局部搜索(在许多SAT算法中使用,例如GSAT和WalkSAT)和单位子句消除(在局部搜索算法中很少使用)。在本文中,我们不证明任何理论界。然而,我们给出了令人鼓舞的计算实验结果,将我们的算法的几种实现与其他SAT解算器进行了比较。我们还证明了我们的算法是概率近似完全的。


zbMATH中的参考文献(参考文献35条,1标准件)

显示第1到第20个结果,共35个。
按年份排序(引用)
  1. 梁家辉;哦,钱塞;马修,米努;托马斯,西扎;李春晓;Ganesh,Vijay:CDCL SAT solvers基于机器学习的重启策略(2018)
  2. 丹尼尔·克罗宁;斯特里奇曼:决策程序。算法观点(2016)
  3. 穆罕默德·埃尔·巴希尔·梅内伊;Al Yahya,Tasniem Nasser:partial Max SAT精确方法分类法(2013)
  4. 赖新生;周玉仁:两个双峰MaxSat问题两个启发式优化的期望适应度和成功率分析(2012)
  5. 萨伊塔,洛伦扎;乔尔达纳,阿提里奥;安托万:机器学习中的相变。(2011年)
  6. 奥德马尔,吉尔;拉涅兹,让-玛丽;马祖,贝特朗;Saïs,Lakhdar:得益于\textscccdcl(2010年),促进了本地搜索
  7. 贝洛夫,安东;Stachniak,Zbigniew:改进的电路可满足性局部搜索(2010)
  8. 基拉尼,尤瑟夫:通过用DLM取代禁忌搜索来改进GASAT并增强最佳成员(2010)ioport公司
  9. 贝洛夫,安东;Stachniak,Zbigniew:改进随机局部搜索中的变量选择过程以获得命题满足性(2009)ioport公司
  10. 周玉仁;何俊;聂青:可满足性问题启发式算法的比较运行时分析(2009)
  11. 戈德伯格,尤金:基于分辨率的卫星解算器的决策程序(2008)
  12. 海勒,玛丽安·J·H。;van Maaren,Hans:使用位级运算的并行SAT求解(2008)
  13. 马尔维萨洛,马蒂;朱蒂拉,汤米;Niemelä,Ilkka:基于调整的自适应噪声策略局部搜索(2008)
  14. 魏万霞;李楚敏;张哈里:地方SAT搜索中集约化和多样化的转换标准(2008)
  15. 海勒,玛丽安;范马伦,汉斯:从幂等广义布尔赋值到多位搜索(2007)
  16. 考兹,亨利;塞尔曼,巴特:国家卫星(2007)
  17. 基拉巴,瓦希德;Wolski,Rich:GridSAT:计算网格应用程序的设计与实现(2006)ioport公司
  18. 基拉巴,瓦希德;Wolski,Rich:GridSAT:计算网格应用程序的设计与实现(2006)
  19. 戈德伯格,尤金:通过对完全分配操作的算法来确定分辨率(2006)
  20. Markström,Klas:位置和硬卫星实例(2006)