| 序号 | 标题 | 类型 | 作者 |
|---|
| 序号 | 姓名 | 职称 | 单位 |
|---|---|---|---|
| 1 | 李杨佳 | 助理研究员 | 中国科学院软件研究所 |
| 2 | 刘思学 | Princeton University | |
| 3 | 陈艳 | 中国科学院软件研究所 | |
| 4 | 高冲 | 中国科学院软件研究所 | |
| 5 | 李杨佳 | 助理研究员 | 中国科学院软件研究所 |
| 6 | 刘思学 | Princeton University | |
| 7 | 陈艳 | 中国科学院软件研究所 | |
| 8 | 高冲 | 中国科学院软件研究所 |
以下是从项目中提取的相关关键词,点击选题分析按钮快速进行关键词选题分析
| 序号 | 关键词 | 操作 |
|---|---|---|
| 1 | 电路复杂性 | |
| 2 | 复杂性分析 | |
| 3 | 算法设计 | |
| 4 | 随机算法 | |
| 5 | 可满足性问题 |
未查询到该负责人的其他项目