BriefGPT.xyz
Ask
alpha
关键词
random 3-sat formulae
搜索结果 - 1
随机 3-SAT 问题的搜索与启发式算法的共生
本文介绍了一种新的分支启发式方法和一种称作 ALDS 的搜索技术。在 SAT 2009 竞赛上的表现表明,这两种技术结合在一起可以极大地降低搜索树的大小。
PDF
10 years ago
Prev
Next