结合 ATPG 和 SAT 的无界模型检验前像计算方法

[PDF] ict.ac.cn

[PDF][PDF] 无界模型检验中融合电路信息的犛犃犜算法研究

赵阳， 吕涛， 李华伟， 李晓维 - 计算机学报, 2009 - cjc.ict.ac.cn
摘要针对从电路转化而来的SAT 问题, 通用SAT 求解器存在一个缺陷———
电路互连信息的缺失, 这是造成很多无关推导的根源. 文中提出了一个统一的基于CNF …
被引用次数：1 相关文章 所有 3 个版本

[引用][C] 一个求解SAT 问题的新算法

张银丹， 张浩军 - 电脑知识与技术, 2010
相关文章 所有 3 个版本