布尔可满足问题相关论文
可满足性是知识推理领域的重要研究任务。在逻辑和计算机科学中,布尔可满足性问题（Boolean Satisfiability Problem,简称 SAT）是确定......
求解公式的可满足性在诸如形式化验证、电子设计自动化与人工智能等众多领域中都具有非常重要的理论与应用价值，成为近年来的研究热......
研究了极小布尔不可满足子式的提取算法 ,它分为近似算法和精确算法两种 文中就精确算法提出了局部预先赋值的优化方案 ,并且在理......
解释布尔公式不可满足的原因在众多领域都具有非常重要的理论与应用价值，而不可满足子式能够为公式不可满足的原因提供精确的解释，帮......
