![基于扩展规则的若干SAT问题研究]()
论文摘要从二十世纪五十年代开始,自动推理就成为了计算机科学的一个核心研究领域,而可满足性SAT（Satisfiability）问题是自动推理最重要的问题之一。基于扩展规则的方法...
![开源软件依赖可满足性识别方法研究与实现]()
论文摘要随着网络技术的发展,开放源码软件（OpenSourceSoftware,OSS）项目得到快速的发展和普及,软件从传统的集中开发模式向分散式发生了转变,使得源码复用程度大...
![基于子句权重求解SAT问题]()
论文摘要可满足性(SAT)问题一直是电子设计自动化和人工智能领域的一个热点研究问题,因为它在这些领域有着非常广泛的应用。长期以来,人们对此进行了深入地研究,提出了很多解决可满足...
![可满足性问题算法研究-CNF的简化]()
论文摘要可满足性问题（BooleanSatisfiabilityProblem,简称SAT）是一个关于判断一个布尔表达式是否可为真的问题。而布尔表达式都可以转换成或与表达式（C...
![RTL到门级设计的等价性验证的研究]()
论文摘要超大规模集成电路的验证工作在产品设计周期中所占的比例已达到三分之二。等价性验证作为现代SoC设计流程的一个重要步骤,用于验证不同抽象层设计之间的功能等效性。包含算术电路...
![基于布尔可满足性的逻辑电路等价性验证和测试生成技术研究]()
论文摘要近些年在布尔可满足性(SAT)领域取得了较大进展,一系列基于DPLL框架的优化算法被提出,有效SAT解算器诸如zChaff等已可解决很大规模的SAT问题。SAT作为一个...
![一种改进的DNA计算模型研究]()
论文摘要DNA计算以其海量存储和并行运算能力,从理论上可克服电子计算机存储量与运算速度上的不足,成为NP完全问题和其它难解问题的潜在解决方案之一,并且在理论上已成功的在多项式时...
![可满足性问题算法研究以及在时序电路等价验证中的应用]()
论文题目:可满足性问题算法研究以及在时序电路等价验证中的应用论文类型:博士论文论文专业:微电子与固体电子学作者:丁敏导师:唐璞山关键词:可满足性问题,时序电路等价验证,形式验证...
