隐蔽集相关论文
隐蔽集作为QBF问题的重要结构之一,能使QBF这一难求解问题变得更加简单.QBF问题中隐蔽集的求解相当复杂且难以理解.为了使读者更好......
SAT问题的隐藏结构与问题难度有很大的关系，近年来成为人工智能的一个研究热点。隐蔽集（Backdoor）作为典型的隐藏结构之一，能使剩下的......
量词约束满足问题是人工智能和自动推理领域的一个重要问题.寻找多项式时间易解子类,是研究此类问题计算复杂性的关键.通过分析二......
SAT命题可满足性问题的隐蔽集作为引导搜索SAT问题的关键决策变量,可以优化SAT问题的求解,成为人工智能方向的研究热点之一。本研......
