DPLL算法相关论文
布尔可满足性问题（Boolean Satisfiability Problem,SAT）是一个经典的判定问题,也是历史上首个被证实的NP问题。很多现实问题被证明......
太阳能是当前世界上最清洁、最有大规模开发利用前景的可再生能源之一。太阳能光伏并网发电是太阳能光伏利用的主要发展趋势，必将得......
命题逻辑公式的可满足性问题(SAT)是数理逻辑、计算机科学、集成电路设计与验证和人工智能等领域中的核心问题,并且是第一个被证明......
可满足性问题(Satisfiability Problem,SAT问题)是数理逻辑中的一个经典问题,也是自动推理的一个重要研究方向。在理论应用方面,许......
命题公式的满足性问题(简称SAT问题)是指布尔表达式的可满足性问题.它是理论计算机科学中的一个重要问题.在数理逻辑、人工智能、......
限制在不可满足公式的不可满足性的证明,给出了一个改进的DPLL算法-RSMLS.新的算法带有一条对称规则(文字改名规则)和三条简化规则......
