| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 设计HCP的SAT | Anatoly D. Plotnikov (Vinnitsa Institute of Regional Economics and Management) | cs/9903006 | cs.LO | 2007-05-23 |
| 弱长度归纳和慢增长深度布尔电路 | Satoru Kuroda | cs/9907022 | cs.LO | 2007-05-23 |
| 交互与结构系统 | Alessio Guglielmi | cs/9910023 | cs.LO | 2007-05-23 |