参数复杂性、SAT求解器和树宽度
61373029
2013
F0201.计算机科学的基础理论
陈翌佳
面上项目
教授
上海交通大学
76万元
参数复杂性;树宽度;命题逻辑可满足问题
2014-01-01到2017-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | The Hardness of Embedding Grids and Walls | 奖励 | Yijia Chen;Martin Grohe;Bingkai Lin |
| 2 | Some lower bounds in parameterized AC0 | 会议论文 | Yijia Chen;Joerg Flum |
| 3 | The constant inapproximability of the parameterized dominating set problem | 会议论文 | Yijia Chen;Bingkai Lin |
| 4 | The Ehrenfeucht-Fraisse Method and the Planted Clique Conjecture | 会议论文 | Chen Yijia;Flum Joerg |
| 5 | Slicewise definability in first-order logic with bounded quantifier rank | 会议论文 | Yijia Chen;Joerg Flum;Xuangui Huang |
| 6 | Bounded variable logic, parameterized logarithmic space, and Savitch's theorem | 会议论文 | Yijia Chen;Moritz Mueller |
| 7 | Sampling in Potts model on sparse random graphs | 会议论文 | Yitong Yin;Chihao Zhang |
查看更多信息请先登录或注册
趋势报告
