智能规划已经成为人工智能的研究热点,把智能规划问题转化为命题逻辑公式求解是研究智能规划的重要方法。量化布尔公式(Quantified......

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