论文部分内容阅读
约束求解问题涉及广泛,解决约束求解问题的一个重要方法就是SMT理论.本文介绍了两种利用SMT理论设计的约束求解器,分析了其求解原理和主要应用,并对以上两种约束求解器的优缺点进行探讨.约束求解器的研究为解决相对应的约束求解问题提供了思路和方法.
可满足性问题的约束求解器应用浅析
【摘 要】
：
约束求解问题涉及广泛,解决约束求解问题的一个重要方法就是SMT理论.本文介绍了两种利用SMT理论设计的约束求解器,分析了其求解原理和主要应用,并对以上两种约束求解器的优缺
【机 构】
：
河北建筑工程学院,河北科技大学
【出 处】
：
河北建筑工程学院学报
【发表日期】
：
2017年2期
【基金项目】
：
2013年河北省教育厅青年基金项目(QN20131148);河北省科技计划项目(16236004D-8)
其他文献
从地方新建本科院校的视角出发,分析应用型英语本科翻译人才培养的要求就业现状及存在的问题,对课堂教学模式、毕业论文设计、师资力量和实习基地建设方面进行探讨,培养应用
针对维汉机器翻译中存在的维吾尔语(下文简称维语)形态复杂性和数据稀疏性问题,提出了一种层次化融合多个维语语法特征的神经网络机器翻译模型.该模型采用4种特征(词干、词性
目的:探讨对HDAC6(histone deacetylase 6)的抑制效应是否可以作为拮抗七氟烷所致神经元损伤的重要靶点。方法:取新生1-3 d的C57BL/6乳鼠的皮层神经元作原代体外培养,将第5 d
目的：加强对条斑紫菜一次加工生产过程的卫生监督和技术指导,改善干紫菜的卫生质量。方法：将ISO22000及HACCP原理运用到条斑紫菜加工企业一次加工中。结果：全面分析了条斑紫菜一
嘧啶类化合物是一种非常重要的杂环化合物，广泛应用于医药、农药领域。文章介绍了标题化合物的合成方法。以4，6-二氯-5-甲基嘧啶为起始原料，经肼基取代及脱肼基两步反应合成了目
患儿,5岁6月,因乳房发育6月,腹痛16天,加重2天,于2018年11月11日入院诊治。患儿6个月前出现乳房发育,伴触痛,无腹痛腹胀,无阴道流血流液。上述症状持续存在,3+月前在外院就诊
全球化时代将一切阻隔消除,使资源凝聚成一种网络化的结构.资源网络是设计发展战略的有利前提背景,资源的网络化带来的资源多样化和资源流动性对于设计发展来说是一种推动力
将生态产业作为促进经济发展的基础是全面走向小康社会的主要路径,生态产业的发展进程也是影响建设新时代社会主义的关键因素。针对武陵山片区的生态产业发展,以湖南武陵山片
在2020年初我国防控新冠肺炎疫情的非常时期,许多城市社区为自我卫护根据《传染病防治法》等法律法规和基于自治组织性质制订并执行了有关疫情管控的自治规范。非常时期城市
在当下的小学教育教学中融入智慧课堂教学,可以有效地提高小学生的学习兴趣。尤其是对于小学数学这门课程来说,创建智慧课堂教学还可以提高小学生的综合素养。本文主要依据新