10.3969/j.issn.1002-137X.2009.09.004
EDA领域中可满足性问题求解方法研究
可满足性问题是理论计算机和人工智能中的著名问题,很多问题都可以通过可满足性求解方法解决.对EDA领域中可满足性问题的求解技术进行了研究.总结了目前主要的求解方法,并对不同的方法进行了详细的分类和比较.讨论了该领域研究中存在的问题,并指出了近期研究热点和未来发展趋势.
布尔可满足性、电子设计自动化、求解方法
36
TP407
国家自然科学基金60273081;黑龙江省自然科学基金QC2008C98
2009-11-10(万方平台首次上网日期,不代表论文的发表时间)
共5页
17-20,31