论文部分内容阅读
在极小不可满足公式和可满足公式的基础上给出极小不可满足核的定义,并给出用布尔可满足求解器提取不可满足公式的极小不可满足核的方法。
极小不可满足核及其提取
【摘 要】
：
在极小不可满足公式和可满足公式的基础上给出极小不可满足核的定义,并给出用布尔可满足求解器提取不可满足公式的极小不可满足核的方法。
【机 构】
：
襄樊学院
【出 处】
：
廊坊师范学院学报：自然科学版
【发表日期】
：
2011年5期
其他文献
作为气—液或液—液相间传质、传热的设备,塔器在石油化工装置中的应用非常广泛,然而塔器设备因其与许多其他相关设备相连,其管口数量要远多于其他化工设备,因此塔器的配管设
医学上认为三尖瓣下移畸形病症属于一种极为罕见的先天性心脏畸形,这种病例最早是在1866年Ebstein最先报道,因此又被称之为Ebstein畸形。
现代木结构建筑作为装配式建筑的重要类型之一,逐步进入公众视野。总结我国木结构建筑发展情况,介绍日本、加拿大、芬兰3个国家发展木结构建筑的经验,并对下一步我国发展现代
幼儿园的启蒙教育是一种心灵的唤醒，数学活动作为幼儿园五大领域活动之一，必须要承担起德育任务。《幼儿园工作规程》中明确指出：“幼儿园品德教育应以情感教育和培养良好行为习
<正> 十年多改革,农村普遍建立了以家庭联产承包为主的责任制,促进了农业生产力的发展。在此基础上,党中央及时提出了科技兴农的发展战略。现在要求依靠科技进步,在未来十年
报道了苜蓿切叶蜂雄蜂在网室内对大豆不育系授粉的效果。结果表明，尽管雄蜂的传粉效率显著低于雌蜂，但雄蜂在网室内的传粉效果还是非常显著的。释放雄蜂网室内大豆不育系JLCMS8
实体关系的抽取是信息抽取中的一个重要问题。针对中文句法分析研究现状,本文首先设计了一种能够直接利用浅层语言特征的混合谱核来描述关系实例的上下文,并给出了基于广义后
结合军事五项的训练与考核,对500 m障碍跑、50 m障碍游泳、男子8 km和女子4 km越野跑三个体能性项目进行相关生理生化指标的监控,以比较三个体能性项目的共性与个性,研究三个
作为我国民间文化瑰宝的安徽花鼓灯有着深厚的文化底蕴与群众基础,然而传播推广现状却不容乐观,并随之影响到了这一国家级"非遗"的保护与传承。通过剖析花鼓灯艺术的国内外传