CORC

在结果中检索

CORC

浏览/检索结果: 共20条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
SMT约束的解计数方法研究 学位论文
博士, 北京: 中国科学院研究生院, 2019
作者:  葛存菁
收藏  |  浏览/下载：15/0  |  提交时间：2019/06/20
An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 5, 页码: 987-1011
Chen, L; Wu, JZ; Lv, YR; Wang, YJ
收藏  |  浏览/下载：23/0  |  提交时间：2016/12/09
基于树状线性规划搜索的单调速率优化设计 期刊论文
软件学报, 2015, 卷号: 26, 期号: 12, 页码: 3223-3241
陈力; 王永吉; 吴敬征; 吕荫润
收藏  |  浏览/下载：20/0  |  提交时间：2016/12/09
基于公式学习的循环不变式的推导 学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
收藏  |  浏览/下载：18/0  |  提交时间：2014/06/06
改进的布尔公式学习算法 期刊论文
计算机系统应用, 2014, 期号: 9, 页码: 83-88
哈晓琳; 李勇坚
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16
Solving Nonlinear SMT Problems Based on an Efficient Lazy Method 期刊论文
JOURNAL OF INTERNET TECHNOLOGY, 2013, 卷号: 14, 期号: 3, 页码: 379-386
Ji, Xiaohui; Ma, Feifei
收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16
an efficient lazy smt solver for nonlinear numerical constraints 会议论文
21st IEEE International WETICE Conference, WETICE 2012, Toulouse, France, June 25, 2012 - June 27, 2012
Ji Xiaohui; Ma Feifei
收藏  |  浏览/下载：10/0  |  提交时间：2013/09/22
solving generalized optimization problems subject to smt constraints 会议论文
6th International Frontiers of Algorithmics Workshop, FAW 2012 and 8th International Conference on Algorithmic Aspects of Information and Management, AAIM 2012, Beijing, China, May 14, 2012 - May 16, 2012
Ma Feifei; Yan Jun; Zhang Jian
收藏  |  浏览/下载：15/0  |  提交时间：2013/09/22
基于限界模型检查的Web服务行为失配检测 期刊论文
计算机科学, 2012, 卷号: 39, 期号: 6, 页码: 129-132
戎玫; 陈圣标; 张广泉
收藏  |  浏览/下载：71/0  |  提交时间：2012/11/12
a method for detecting mismatch of time-aware web services based on smt 会议论文
6th International Conference on Computer Science and Education, ICCSE 2011, Singapore, Singapore, August 3,
Xiyan Wang; Chen Shenbiao; Zhang Guangquan; Zhu Jihan; Wu Jianfeng
收藏  |  浏览/下载：21/0  |  提交时间：2013/10/08

©版权所有 ©2017 CSpace - Powered by CSpace