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

【文件属性】：
文件名称：基于DPLL的SAT算法的研究及应用_陈稳1
文件大小：1.14MB
文件格式：PDF
更新时间：2022-08-03 11:56:00
摘要命题逻辑公式的可满足性问题（SAT）是数理逻辑、计算机科学、集成电路设计与验证和人工智能等领域中的核心问题，并且是第一个被证明出来的 NP 问题。SAT 问