可满足性是知识推理领域的重要研究任务。在逻辑和计算机科学中,布尔可满足性问题（Boolean Satisfiability Problem,简称 SAT）是确定......

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

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