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

热门棋牌游戏代理加盟推荐 海南飞鱼几点开奖 tt娱乐小程序赚钱 深圳风采开奖时间 南通棋牌官网安卓版 足球直播吧 atp网球比分直播 海天娱乐安卓 北京快3遗漏 安徽25选5今日开奖结果 移动棋牌手游 河南11选5 派派玩久能赚钱吗 香港六合彩资料图库 股票融资和质押 云南十一选五开奖结果定牛 白小姐资料一肖中特马743