[07-17] Beyond NP Revolution

文章來源:  |  發布時間:2019-07-08  |  【打印】 【關閉


  Titile: Beyond NP Revolution   

  Speaker: Kuldeep Meelthe National University of Singapore 

  Venue:  Seminar Room (Room 334), Building 5, Institute of Software, Chinese Academy of Sciences 

  Time: 10:00, July 17th, Wednesday, 2019 



  The paradigmatic NP-complete problem of Boolean satisfiability (SAT) solving is a central problem in Computer Science. While the mention of SAT can be traced to early 19th century, efforts to develop practically successful SAT solvers go back to 1950s. The past 20 years have witnessed a "NP revolution" with the development of conflict-driven clause-learning (CDCL) SAT solvers.  Such solvers combine a classical backtracking search with a rich set of effective heuristics.  While 20 years ago SAT solvers were able to solve instances with at most a few hundred variables, modern SAT solvers solve instances with up to millions of variables in a reasonable time.

  The "NP-revolution" opens up opportunities to design practical algorithms with rigorous guarantees for problems in complexity classes beyond NP by replacing a NP oracle with a SAT Solver. In this talk, we will discuss how we use NP revolution to design practical algorithms for two fundamental problems in artificial intelligence and formal methods: Constrained Sampling and Counting.



  Kuldeep Meel is an Assistant Professor of Computer Science in School of Computing at the National University of Singapore where he holds the Sung Kah Kay Assistant Professorship.  He received his Ph.D.  (2017) and M.S. (2014) degree in Computer Science from Rice University. He holds B. Tech. (with Honors) degree (2012) in Computer Science and Engineering from Indian Institute of Technology, Bombay. His research interests lie at the intersection of Artificial Intelligence and Formal Methods.  He is recipient of 2019 NRF Fellowship for AI. He has co-presented tutorials at top-tier AI conferences, IJCAI 2018, AAAI 2017, and UAI 2016. His work received the 2018 Ralph Budd Award for Best PhD Thesis in Engineering, 2014 Outstanding Masters Thesis Award from Vienna Center of Logic and Algorithms and Best Student Paper Award at CP 2015. He received the  IBM Ph.D. Fellowship and the 2016-17 Lodieska Stockbridge Vaughn Fellowship for his work on constrained sampling and counting.

热门棋牌游戏代理加盟推荐 重庆时时开奖视频软件 时时彩后二稳杀两码 重庆时时历史开奖记录 上海时时计划软件下载 江苏快三精准计划软件 二八杠真人提现游戏下载 分分pk10是哪里的 北京pk10是不是合法的 经典时时彩计划软件下载 2017亚洲十大博彩公司 幸运快3大小单双投注技巧 大发快三走势规律 五分彩倍投 时时彩后二大底软件 三肖六码精准 什么叫前三胆码