论文部分内容阅读
逻辑公式的可满足问题的求解方法是近几年研究的重点,通过对逻辑公式的关键文字和骨干变元集的研究与分析,使用启发式算法寻找公式的关键文字,在公式化简中引入关键文字规则,给出了一种新的求解SAT问题的启发式算法。
基于关键文字的求解SAT问题的启发式算法
【摘 要】
：
逻辑公式的可满足问题的求解方法是近几年研究的重点,通过对逻辑公式的关键文字和骨干变元集的研究与分析,使用启发式算法寻找公式的关键文字,在公式化简中引入关键文字规则,
【机 构】
：
贵州大学计算机科学与信息学院贵阳550025
【出 处】
：
计算机与数字工程
【发表日期】
：
2010年10期
【基金项目】
：
国家自然科学基金（编号：60863005）, 贵州省省长基金（编号：200404）, 贵州大学自然科学青年基金（编号：2009021）资助
其他文献
推进素质教育,面向全体学生,是教育改革和发展的根本任务。作为义务教育的重要课程——物理,如何进行改革,是摆在每一位物理教师面前的严峻任务,既要减轻学生负担,又要把最基
论文主要结合我校实际,分析提出了利用工程塑料进行金工实习仿真训练。通过仿真训练可以大幅减低学校实习成本,提高学生实习质量。
论文介绍了模糊控制在变风量空调系统的室内温度调节中的应用，体现vAv空调系统在充分发挥其舒适性及节能上的优势。
针对软件系统可靠性建模难问题,提出了一种新的适用于软件系统可靠性估计的模糊神经Petri网(简称为FNPN).文章首先给出了模糊神经Petri网的定义及其引发规则,然后给出了一种
心理学研究表明,具有良好意志品质的人,他们取得成功的概率比较大。一个人意志的强弱对自身的行为乃至终身能否作出成就或优于常人,皆有重要的影响。培养学生的意志品质,不仅