中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-9 of 9)

Items/Page: Sort:
	SAT和DSOLS问题的研究 [学位论文] 硕士, 北京: 中国科学院研究生院, 2010-05-31 卢闰明 \|
	可满足性问题研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2010-05-31 贾祥雪 \|
	improved bounded model checking for the universal fragment of ctl [期刊论文] JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009-01-01, 卷号: 24, 期号: 1, 页码: 96-109 Xu Liang; Chen Wei; Xu Yan-Yan; Zhang Wen-Hui
	strategies on algebraic attacks using sat solvers [会议论文] 9th International Conference for Young Computer Scientists, Zhangjiajie, PEOPLES R CHINA, NOV 18-21, Chen Baiqiang \|
	一种基于SAT的运算电路查错方法 [期刊论文] 计算机学报, 2007-01-01, 卷号: 30, 期号: 12, 页码: 2082-2089 陈云霁; 张健; 沈海华; 胡伟武 \|
	backtracking algorithms and search heuristics to generate test suites for combinatorial testing [会议论文] 30th Annual International Computer Software and Applications Conference, Chicago, IL, SEP 17-21, Yan Jun; Zhang Jian \|
	backtracking algorithms and search heuristics to generate test suites for combinatorial testing [会议论文] 30th Annual International Computer Software and Applications Conference, Chicago, IL, SEP 17-21, Yan Jun; Zhang Jian \|
	基于SAT的软件包依赖问题的研究 [会议论文] 中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会, 青岛, 2006 顾昊; 倪惜珍 \|
	reducing symmetries to generate easier sat instances [期刊论文] Electronic Notes in Theoretical Computer Science, 2005-01-01, 卷号: 125, 期号: 3, 页码: 149-164 Zhang Jian; Zhuo Huang \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In