论文部分内容阅读
目前布尔逻辑已成为计算机科学的重要理论基础之一,是研究人类思维规律的重要工具。可满足性问题是典型的NP问题,SAT求解器的开发使得判定可满足性问题更加自动化。以与门电路为例,描述了如何将电路问题转换成可满足性SAT问题并使用MiniSAT求解器进行求解,包括输入格式、选项以及输出格式要求。
MiniSAT求解器在判定可满足性问题中的应用
【摘 要】
：
目前布尔逻辑已成为计算机科学的重要理论基础之一,是研究人类思维规律的重要工具。可满足性问题是典型的NP问题,SAT求解器的开发使得判定可满足性问题更加自动化。以与门电
【机 构】
：
海南软件职业技术学院
【出 处】
：
辽宁高职学报
【发表日期】
：
2013年07期
【基金项目】
：
海南软件职业技术学院2011年度基金资助项目(Hr201105);海南软件职业技术学院2011年度基金资助项目(Hr201109);海南软件职业技术学院学院2013年度基金资助项目(Hr201301)
其他文献
<正> 我国学术界对各民族成人心理特征的研究,目前几乎还是一个空白。本研究以少数民族聚居区一甘南藏族自治州的各民族大学生为对象,通过对他们进行测试和分析比较,从而掌握
本文将凡是用于礼仪与以反映"礼乐"为主要内容的各类文学作品,统称作"礼乐文学",并选取宋代礼乐文学为个案进行阐述。宋代礼乐文学作品数量浩繁,众体兼备,各种典礼在多种文学
从历史地理学角度探讨人口与环境承载力问题,是历史环境复原研究的一项主要内容。对民国时期拉卜楞寺僧侣制度及甘南藏区部落人口的地理分布研究,不仅可以使我们对当时甘南地
培养一支具备较强专业实践能力的教师队伍是高职院校师资队伍建设的关键。在高职教育的发展和改革过程中,部分教师的专业实践能力不能满足目前的高职教育改革的要求。通过分
<正> 孔子创立的儒家学说,经过几百年的斗争和发展,到汉武帝时期,出现了历史上儒学的第一次大变革。这就是西汉时《春秋》公羊学大师董仲舒,把先秦以来的儒家各派以及各家学
我国部分高校为促进学科间的交叉与融合,积极进行"学部制"改革。然而仅仅在组织层面打破院系壁垒是不够的,还有必要对"跨学科"背景下的"人"的行为做深入剖析,以便更好地激发
目的：探讨子痫前期-子痫患者脐血清诱导脐动脉平滑肌细胞(HUASMC)前胶原Ⅰ、Ⅲ的表达、NF—kB活性及维生素E对其的影响。方法：采用组织块培养法培养正常妊娠HUASMC，传代后待细胞
少数民族教育是我国教育的重要组成部分。发展少数民族教育,提高民族素质具有多方面的重要意义。新中国成立以来,特别是改革开放以来我国民族教育获得了快速发展,取得了显著
基本公共服务均等化是建设社会主义和谐社会的基本理念,也是落实科学发展观的直接体现,实现基本公共服务均等化对我国社会稳定和经济社会协调发展具有非常重要的现实意义。在
目前,很多高校对口招收中职升本学生,为中职升本学生提供了继续深造的机会,也推进了职业教育更快更好的发展。然而中职升本学生的就业能力提升问题也十分突出。对此,分析了中