论文部分内容阅读
提出了一种启发式调查传播算法，并基于该算法设计了一种QBF（quantified Boolean formulae）求解器－－HSPQBF（heuristic survey propagation algorithm for solvingQBF）系统．它将Survey Propagation信息传递方法应用到QBF求解问题中，利用Survey Propagation作为启发式引导DPLL（Davis，Putnam，Logemann and Loveland）算法，选择合适的变量进行分支，从而可以减小搜索