二叉判决图论文

基于布尔可满足性的逻辑电路等价性验证和测试生成技术研究
论文摘要近些年在布尔可满足性(SAT)领域取得了较大进展,一系列基于DPLL框架的优化算法被提出,有效SAT解算器诸如zChaff等已可解决很大规模的SAT问题。SAT作为一个...