夏盟佶
近期热点
资料介绍
个人简历
招生专业081202-计算机软件与理论招生方向算法和计算复杂性教育背景2002-09--2008-07 中国科学院软件研究所 博士1998-09--2002-07 山东师范大学 学士工作经历2018-09~现在, 中国科学院软件研究所, 研究员2011-10~2013-10,德国马普信息研究所, 博士后2009-05~2018-09,中国科学院软件研究所, 助理研究员、副研究员2008-08~2009-04,美国威斯康星大学, 研究助理教授课程高级算法设计与分析 奖励信息(1) 中国科学院软件研究所优秀毕业生, , 研究所(学校), 2008(2) 中国科学院院长优秀奖, , 研究所(学校), 2008研究领域
"计数复杂性、张量网络"近期论文
(1) Dichotomy for Holant∗ Problems on the Boolean Domain, Theory of Computing Systems, 2020, 第 3 作者(2) Rectangle Transformation Problem, Algorithmica, 2019, 第 4 作者(3) Dichotomy for real Holantc problems, SODA 2018, 2018, 第 3 作者(4) Complexity classification of the six-vertex model, Information and computation, 2018, 第 3 作者(5) Variable-Version Lovász Local Lemma: Beyond Shearer's Bound, 58th IEEE Annual Symposium on Foundations of Computer Science, 2017, 第 5 作者(6) Holographic Algorithms with Matchgates Capture Precisely Tractable Planar #CSP, SIAM J. Comput., 2017, 第 3 作者(7) Base collapse of holographic algorithms, Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2016, 2016, 第 1 作者(8) Parameterizing the Permanent: Genus, Apices, Minors, Evaluation Mod 2k, FOCS 2015, 2015, 第 2 作者(9) Counting K-4-subdivisions, DISCRETE MATHEMATICS, 2015, 第 3 作者(10) The complexity of complex weighted Boolean #CSP, Journal of Computer and System Sciences, 2014, 第 3 作者(11) Holographic reduction, interpolation and hardness, Computational Complexity , 2012, 第 3 作者(12) Computational Complexity of Holant Problems, SIAM Journal on Computing, 2011, 第 3 作者(13) Dichotomy for Holant* Problems of Boolean Domain, Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, SODA , 2011, 第 3 作者(14) Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems, Automata, Languages and Programming, 37th International Colloquium, ICALP, 2010, 第 1 作者(15) Holographic Algorithms with Matchgates Capture Precisely Tractable Planar #CSP, 51th Annual IEEE Symposium on Foundations of Computer Science, FOCS, 2010, 第 3 作者(16) Holant problems and counting CSP, Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC, 2009, 第 3 作者(17) A Theory for Valiant s Matchcircuits, Symposium on Theoretical Aspects of Computer Science, STACS, 2008, 第 2 作者(18) Computational Complexity of Counting Problems on 3-Regular Planar Graphs, Theoretical computer science, 2007, 第 1 作者标签: 计算机科学与技术学院 中国科学院大学
相关热点
最新收录
- 吉高宁宁(吉高寧々 Nene 06-25
- 水咲优美(水咲優美) 06-25
- 三月光(三月ひかる) 06-21
- 澪川遥(澪川はるか) 06-21
- 冈本莉里 岡本莉里 (おか 06-21
- 宗像丽奈(宗像れな) 06-21
- 温碧霞 06-21
- 舒淇 06-21
- 叶玉卿 06-21
- 叶子楣 06-21