基于关键文字的求解SAT问题的启发式算法
秦永彬
张秋菊
1.贵州大学计算机科学与信息学院,贵阳,5500252.贵州大学计算机科学与信息学院,贵阳,550025
摘要：逻辑公式的可满足问题的求解方法是近几年研究的重点,通过对逻辑公式的关键文字和骨干变元集的研究与分析,使用启发式算法寻找公式的关键文字,在公式化简中引入关键文字规则,给出了一种新的求解SAT问题的启发式算法.
关键词：关键文字骨干变元集可满足(SAT)启发式算法
分类号：TP301.6(计算技术、计算机技术)
资助基金：国家自然科学基金(60863005)贵州省省长基金(200404)贵州大学自然科学青年基金(2009021)
论文发表日期：2010-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 1-4 )
英文信息