论文部分内容阅读
在极小不可满足公式和可满足公式的基础上给出极小不可满足核的定义,并给出用布尔可满足求解器提取不可满足公式的极小不可满足核的方法。
极小不可满足核及其提取
【摘 要】
：
在极小不可满足公式和可满足公式的基础上给出极小不可满足核的定义,并给出用布尔可满足求解器提取不可满足公式的极小不可满足核的方法。
【机 构】
：
襄樊学院
【出 处】
：
廊坊师范学院学报：自然科学版
【发表日期】
：
2011年5期
其他文献
作为气—液或液—液相间传质、传热的设备,塔器在石油化工装置中的应用非常广泛,然而塔器设备因其与许多其他相关设备相连,其管口数量要远多于其他化工设备,因此塔器的配管设
现代木结构建筑作为装配式建筑的重要类型之一,逐步进入公众视野。总结我国木结构建筑发展情况,介绍日本、加拿大、芬兰3个国家发展木结构建筑的经验,并对下一步我国发展现代
实体关系的抽取是信息抽取中的一个重要问题。针对中文句法分析研究现状,本文首先设计了一种能够直接利用浅层语言特征的混合谱核来描述关系实例的上下文,并给出了基于广义后
结合军事五项的训练与考核,对500 m障碍跑、50 m障碍游泳、男子8 km和女子4 km越野跑三个体能性项目进行相关生理生化指标的监控,以比较三个体能性项目的共性与个性,研究三个
作为我国民间文化瑰宝的安徽花鼓灯有着深厚的文化底蕴与群众基础,然而传播推广现状却不容乐观,并随之影响到了这一国家级"非遗"的保护与传承。通过剖析花鼓灯艺术的国内外传