中国科学院计算技术研究所机构知识库(CSpace): 检索

验证码:

换一张

忘记密码？记住我

图片搜索

粘贴图片网址

文献类型

发表日期

收录类别

浏览/检索结果: 共2条，第1-2条

帮助

已选(0)清除条数/页：排序方式：
	无权访问的条目期刊论文作者: 陈云霁; 张健; 沈海华; 胡伟武 Adobe PDF(413Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/10/21
	一种基于SAT的运算电路查错方法期刊论文计算机学报, 2007, 卷号: 30.0, 期号: 012, 页码: 2082 作者: 陈云霁; 张健; 沈海华; 胡伟武收藏 \| 浏览/下载：10/0 \| 提交时间：2023/12/04 形式验证模型检验 SAT E—CNF 标志子句

中国科学院计算技术研究所机构知识库