陈镜超 - 东华大学 - 信息科学与技术学院

个人简介

个人简介： 2007年至2016年期间担任国际学术杂志《Advances in Computer Science and Engineering》编委。2008年国际学术会议“The 4th IASTED International Conference on Advances in Computer Sciences and Technology (ACST 2008)”程序委员会成员。2009年国际学术会议“The IASTED International Conference on Advances in Computer Science and Engineering (ACSE2009)” 程序委员会成员。2008年至2016年国际学术会议“The International Multi-Conference on Engineering and Technological Innovation (IMETI) ” 程序委员会成员。 1983年毕业于武汉大学计算机系，获学士学位 1987年毕业于日本信州计算机专业，获硕士学位 1990年毕业于日本北海道计算机专业，获博士学位 2000年6月至2001年12月，朗讯科技贝尔实验室中国研究院，高级研究员 1992年11月至2000年6月，上海交通大学，计算机系，副教授 2005年10月，应邀赴英国剑桥大学做学术报告 1999年9月至1999月12月，加拿大Alberta大学做合作研究，访问学者 2002年11月至2002年12月，日本信州大学做合作研究，访问学者 1997年6月至1997年7月，波兰华沙大学做合作研究，访问学者 1990年3月1992年11月，日本安川情报系统公司，软件系统设计工程师至今东华大学信息学院教授、博导荣誉及获奖情况: 2015年，国际SAT Race比赛主类第一名 2014年,国际SAT比赛, Hard-combinatorial SAT+UNSAT类第一名 2014年，国际SAT比赛, Application SAT类第一名 2014年，国际SAT比赛, MiniSAT Hack-track, Application SAT+UNSAT类第二名 2013年，国际SAT比赛, MiniSAT Hack-track, Application SAT+UNSAT类第二名 2013年，国际SAT比赛, Hard-combinatorial SAT+UNSAT类第二名 2013年，国际SAT比赛, Hard-combinatorial SAT类第二名 2013年，国际SAT比赛, Random SAT+UNSAT类第三名 2012年，国际SAT比赛,多引擎组合类第一名 2011年，国际SAT比赛,随机UNSAT cpu时间类第二名 2011年，国际SAT比赛,随机UNSAT wc时间类第三名 2011年，国际SAT比赛,应用类SAT类第三名。

研究领域

研究方向：算法设计与分析，可满足性问题求解与编码，网络信息安全，演绎推理与定理证明，计算机网络，模式识别，自然语言处理，人工智能

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

近年代表性的论文: 1. J.C. Chen, MiniSAT_BCD and abcdSAT: solvers based on blocked clause decomposition，Proceedings of SAT Race 2015 2. J.C. Chen, A bit-encoding phase selection strategy for satisfiability solvers, in Proceedings of Theory and Applications of Models of Computation (TAMC'2014)}, ser. LNCS, vol. 8402, Chennai, India, 2014, pp. 158-167. 3. J.C. Chen, interactSAT{_c}: Interactive SAT Solvers and glue dyphase: A Solver with a Dynamic Phase Selection Strategy, Proceedings of SAT Challenge 2012, Trento, Italy, pp.28-30, 2012. 4. J.C. Chen, Solving Rubik's Cube Using SAT Solvers，The workshop of SAT for Practical Applications (SPA 2011)，Ann Arbor, USA, 2011. 5. J.C. Chen, A new SAT encoding of the at-most-one constraint, Proc. of the 9th Int. Workshop of Constraint Modeling and Reformulation, St Andrews, UK, 2010. 6. J.C. Chen, Building a Hybrid SAT Solver via Conflict-driven, Look-ahead and XOR Reasoning Techniques, SAT 2009, Swansea, UK, pp.298-311,2009. 7. J.C. Chen, Symmetry partition sort, Software-Practice and Experience, 38, pp.761-773 2008. 8．J.C. Chen,Two-Fold Circle-Covering of the Plane under Congruent Voronoi Polygon Conditions，the conference book，ISCO 2016 9. J.C. Chen, Efficient sample sort and the average case analysis of PEsort, Theoretical Computer Science,Vol.369, pp.44-46, 2006. 10. J.C. Chen, A simple algorithm for in-place merging, Information Processing Letters,Vol.98,pp.34-40,2006. 11. J.C. Chen, Building a new sort function for a C library, Software-Practice and Experience,34, 8, 777-795,2004. 12. J.C. Chen, Optimizing stable in-place Merging, Theoretical Computer Science, Vol.302/1-3 pp.191-210, 2003 13. J.C. Chen, Proportion extend sort, SIAM Journal on Computing, Vol.31, No.1,2001, pp.323-330.