EDA领域中可满足性问题求解方法研究

Survey on Solving SAT Problems in EDA

可满足性问题是理论计算机和人工智能中的著名问题,很多问题都可以通过可满足性求解方法解决。对EDA领域中可满足性问题的求解技术进行了研究。总结了目前主要的求解方法,并对不同的方法进行了详细的分类和比较。讨论了该领域研究中存在的问题,并指出了近期研究热点和未来发展趋势。

Boolean satisfiability is a famous problem in theory computer and artificial intelligence, many problems can be solved by the means of solving SAT problems. In this paper, the solving technology for SAT problems in EDA fields was studied. Major solving approaches were summarized, and these different approaches were sorted and compared. Problems existed in this fields were discussed,hot research issues and the development trends in the future were pointed out.