首页> 中文期刊> 《河北建筑工程学院学报》 >可满足性问题的约束求解器应用浅析

可满足性问题的约束求解器应用浅析

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

约束求解问题涉及广泛,解决约束求解问题的一个重要方法就是SMT理论.本文介绍了两种利用SMT理论设计的约束求解器,分析了其求解原理和主要应用,并对以上两种约束求解器的优缺点进行探讨.约束求解器的研究为解决相对应的约束求解问题提供了思路和方法.

著录项

来源
《河北建筑工程学院学报》 |2017年第2期|132-134|共3页
作者
付江龙; 杨阳; 陈素军; 赵天骄;
展开▼
作者单位

河北建筑工程学院,河北张家口 075000;

河北建筑工程学院,河北张家口 075000;

河北建筑工程学院,河北张家口 075000;

河北科技大学,河北石家庄 050000;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
约束求解; YICES; HySat;

相似文献

中文文献
外文文献
专利

1. 命题逻辑可满足性问题求解器的新型预处理子句消去方法 [J] . 宁欣然 ,徐扬 ,陈振颂 . 计算机集成制造系统 . 2020,第008期
2. MiniSAT求解器在判定可满足性问题中的应用 [J] . 曾维鹏 ,蔡莉莎 ,吴恒玉 . 辽宁高职学报 . 2013,第007期
3. 基于可满足性问题求解器的星上FPGA永久损伤容错技术研究 [J] . 孙兆伟 ,刘源 ,赵丹 . 宇航学报 . 2011,第003期
4. 利用SMT约束分解方法求解RTL可满足性问题 [J] . 赵燕妮 ,边计年 ,邓澍军 . 计算机辅助设计与图形学学报 . 2010,第002期
5. 可满足性问题的异或约束提取方法研究 [J] . 姚尧 . 电脑知识与技术 . 2010,第034期
6. 可满足性问题的一种DNA表面计算模型 [C] . LIU Wenjun ,刘文君 ,YIN Zhixiang . 第五届江苏计算机大会 . 2012
7. 可满足性问题的约束规划算法研究 [A] . 徐成刚 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号