中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

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
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace