提出了一种启发式调查传播算法，并基于该算法设计了一种QBF（quantified Boolean formulae）求解器－－HSPQBF（heuristic survey propagation......