Welcome to the Meel Group’s web page. We are situated at National University of Singapore.
Our paper on uniform sampling based on knowledge compilation is accepted at LPAR-22. Authors: Shubham Sharma, Rahul Gupta, Subhajit Roy, and Kuldeep S. Meel29 August 2018
Kuldeep's PhD thesis was awarded Honorable mention for ACP (Association of Constraint Programming) Doctoral Dissertation award at its annual conference CP 2018.12 August 2018
We will be presenting three papers at CP 2018. The first talk on network reliability is on Monday 27th Aug while the second talk on FPRAS for DNF is on Wed, 29th Aug. The third talk on interpretable classification rules is on Thursday, 30th Aug.8 August 2018
Kuldeep Meel has been appointed Sung Kah Kay Assistant Professor30 July 2018
Bhavishya finished a successful summer internship and will be returning to IIT Kanpur for his third year.23 July 2018
Yash Pote has joined as a Research assistant. Welcome Yash!
We are looking for highly motivated Ph.D. students, postdocs, and interns (with time commitment of at least 6 months) in our group.
Two post-doc positions available in the broad area of applying machine learning to SAT solvers, approximate counting techniques, and CP. Details