首页> 中文期刊> 《吉林师范大学学报（自然科学版）》 >基于C++的小型约束求解器

基于C++的小型约束求解器

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

通过约束求解的原理介绍一个利用C++语言开发的小型约束求解器Simsolver.主要阐述了约束求解的重要意义,并详细说明了约束求解的模块划分、属性和方法的设定及其具体实现.

著录项

来源
《吉林师范大学学报（自然科学版）》 |2013年第3期|7-9|共3页
作者
王海燕; 欧阳丹彤; 张永刚; 杨明明;
展开▼
作者单位

吉林师范大学计算机学院,吉林四平136000;

吉林大学计算机科学与技术学院,吉林长春130012;

吉林大学计算机科学与技术学院,吉林长春130012;

吉林大学计算机科学与技术学院,吉林长春130012;

吉林大学计算机科学与技术学院,吉林长春130012;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机软件;
关键词
C++; 约束满足问题; 约束求解; 模块;

相似文献

中文文献
外文文献
专利

1. 基于SMT求解器的微处理器指令验证数据约束生成技术 [J] . 谭坚 ,罗巧玲 ,王丽一 . 计算机研究与发展 . 2020,第012期
2. 基于点簇归约的几何约束求解器研究 [J] . 蒋丹东 ,何援军 ,杨东 . 高技术通讯 . 2002,第006期
3. 基于约束的离线式建模求解器的研究与设计 [J] . 史俊友 ,童水光 . 机械科学与技术 . 2000,第005期
4. 加强约束的布尔可满足硬件求解器 [J] . MA Kefan ,XIAO Liquan ,ZHANG Jianmin . 国防科技大学学报 . 2018,第006期
5. 可满足性问题的约束求解器应用浅析 [J] . 付江龙 ,杨阳 ,陈素军 . 河北建筑工程学院学报 . 2017,第002期
6. 一种基于Nektar++的水动力学线性稳定性求解器 [C] . ZHANG Wei ,张伟 ,CHEN Jian-ping . 第二十九届全国水动力学研讨会 . 2018
7. 基于D-Tree分解的几何约束求解器的研究 [A] . 王鹏 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号