当前位置：数字出版物超市 >> 学者知网节 >> 承担国家项目资助发文
共有记录3条
序号 题名 作者 文献来源 发表年份 被引频次 下载频次
1 Deriving all minimal consistency-based diagnosis sets using SAT solvers - Progress in Natural Science 2009 0 4
2 电子细胞Analog-Cell的并发机制 孙吉贵;行荣;卢欣华;韩霄松; 电子学报 2009 0 20
3 使用SAT求解器产生所有极小冲突部件集 赵相福;欧阳丹彤; 电子学报 2009 0 27