10.3969/j.issn.1007-130X.2010.01.015
可满足性求解技术研究
求解公式的可满足性在诸如形式化验证、电子设计自动化与人工智能等众多领域中都具有非常重要的理论与应用价值,成为近年来的研究热点.本文针对命题公式与一阶公式的可满足性问题,重点介绍了布尔可满足性与可满足性模理论求解技术的基本原理,并且根据算法的类型进行分类阐述,分析了各种算法的优缺点.最后,讨论了目前面临的主要挑战,对今后的研究方向进行了展望.
布尔可满足问题、可满足性模理论问题、完全方法、不完全方法
31
TP301(计算技术、计算机技术)
国家自然科学基金资助项目60603088,90707003
2010-03-26(万方平台首次上网日期,不代表论文的发表时间)
共5页
50-54