10.3969/j.issn.1672-9722.2010.10.001
基于关键文字的求解SAT问题的启发式算法
逻辑公式的可满足问题的求解方法是近几年研究的重点,通过对逻辑公式的关键文字和骨干变元集的研究与分析,使用启发式算法寻找公式的关键文字,在公式化简中引入关键文字规则,给出了一种新的求解SAT问题的启发式算法.
关键文字、骨干变元集、可满足(SAT)、启发式算法
38
TP301.6(计算技术、计算机技术)
国家自然科学基金60863005;贵州省省长基金200404;贵州大学自然科学青年基金2009021
2011-01-06(万方平台首次上网日期,不代表论文的发表时间)
共4页
1-4