基于DPLL的SAT算法的研究及应用_陈稳1

【文件属性】：

文件名称：基于DPLL的SAT算法的研究及应用_陈稳1

文件大小：1.14MB

文件格式：PDF

更新时间：2022-08-03 11:56:00

摘要命题逻辑公式的可满足性问题（SAT）是数理逻辑、计算机科学、集成电路设计与验证和人工智能等领域中的核心问题，并且是第一个被证明出来的 NP 问题。SAT 问