隐蔽集作为QBF问题的重要结构之一,能使QBF这一难求解问题变得更加简单.QBF问题中隐蔽集的求解相当复杂且难以理解.为了使读者更好......

SAT问题的隐藏结构与问题难度有很大的关系，近年来成为人工智能的一个研究热点。隐蔽集（Backdoor）作为典型的隐藏结构之一，能使剩下的......

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