计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2009年
9期
17-20,31
,共5页
布尔可满足性%电子设计自动化%求解方法
佈爾可滿足性%電子設計自動化%求解方法
포이가만족성%전자설계자동화%구해방법
可满足性问题是理论计算机和人工智能中的著名问题,很多问题都可以通过可满足性求解方法解决.对EDA领域中可满足性问题的求解技术进行了研究.总结了目前主要的求解方法,并对不同的方法进行了详细的分类和比较.讨论了该领域研究中存在的问题,并指出了近期研究热点和未来发展趋势.
可滿足性問題是理論計算機和人工智能中的著名問題,很多問題都可以通過可滿足性求解方法解決.對EDA領域中可滿足性問題的求解技術進行瞭研究.總結瞭目前主要的求解方法,併對不同的方法進行瞭詳細的分類和比較.討論瞭該領域研究中存在的問題,併指齣瞭近期研究熱點和未來髮展趨勢.
가만족성문제시이론계산궤화인공지능중적저명문제,흔다문제도가이통과가만족성구해방법해결.대EDA영역중가만족성문제적구해기술진행료연구.총결료목전주요적구해방법,병대불동적방법진행료상세적분류화비교.토론료해영역연구중존재적문제,병지출료근기연구열점화미래발전추세.
