[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.

热门棋牌游戏代理加盟推荐 新腾讯分分彩人工计划 中国体彩网开奖视频直播 安徽时时结果 重庆时时开奖结果3d 三分赛计划数据分析 海南省高考地方专项 三张牌的魔术 快乐十分二胆全拖金额 pk10五码倍投法则 快速时时网址 新出特肖公式规律 qq江西时时qq交流群 移动号码选号网 腾讯分分彩是腾讯旗下的吗 nba比分188 大乐透带坐标连线走势