look-ahead solver | BriefGPT

关键词look-ahead solver

搜索结果 - 1

随机 3-SAT 问题的搜索与启发式算法的共生
本文介绍了一种新的分支启发式方法和一种称作 ALDS 的搜索技术。在 SAT 2009 竞赛上的表现表明，这两种技术结合在一起可以极大地降低搜索树的大小。
PDF10 years ago