CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Palladium-Catalyzed Tandem Carbonylative Aza-Wacker-Type Cyclization of Nucleophile Tethered Alkene to Access Fused N-Heterocycles 期刊论文
Chinese Journal of Chemistry, 2021, 卷号: 39, 期号: 2, 页码: 317-322
作者:  Shi Lijun;  Wen Mingshan;  Li Fuwei
收藏  |  浏览/下载：23/0  |  提交时间：2021/11/20
Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method 期刊论文
Algorithms, 2018, 卷号: 11
作者:  Gao, W.;  Lv, H.;  Zhang, Q.;  Cai, D.
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/30
Automatic search of bit-based division property for ARX ciphers and word-based division property 期刊论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 卷号: 10624 LNCS, 页码: 128-157
作者:  Sun, Ling;  Wang, Wei;  Wang, Meiqin
收藏  |  浏览/下载：10/0  |  提交时间：2019/12/12
基于逻辑的形式化验证方法:进展及应用 其他
2016-01-01
陈钢; 于林宇; 裘宗燕; 王颖
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03
组合对象的搜索算法研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
马菲菲
收藏  |  浏览/下载：17/0  |  提交时间：2010/06/09
改进的以SMT为基础的实时系统限界模型检测 期刊论文
软件学报, 2010, 卷号: 21, 期号: 7, 页码: 1491-1502
徐亮
收藏  |  浏览/下载：17/0  |  提交时间：2011/05/23
限界模型检测方法及其应用 学位论文
硕士, 北京: 中国科学院研究生院, 2009
-
收藏  |  浏览/下载：10/0  |  提交时间：2009/06/11
volume computation for boolean combination of linear arithmetic constraints 会议论文
22nd International Conference on Automated Deduction (CADE-22), Montreal, CANADA, AUG 02-07,
Ma Feifei; Liu Sheng; Zhang Jian
收藏  |  浏览/下载：17/0  |  提交时间：2011/03/20

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