Kuldeep Meel’s paper selected for CP’s 25th anniversary research paper volume

Kuldeep Meel’s paper “A Scalable Approximate Model Counter” has been selected to represent the 2013 conference in the International Conference on Constraint Programming (CP)’s 25th anniversary research paper volume.

Read more about it here.

October 2019

Privacy Settings
We use cookies to enhance your experience while using our website. If you are using our Services via a browser you can restrict, block or remove cookies through your web browser settings. We also use content and scripts from third parties that may use tracking technologies. You can selectively provide your consent below to allow such third party embeds. For complete information about the cookies we use, data we collect and how we process them, please check our Privacy Policy
Consent to display content from Youtube
Consent to display content from Vimeo
Google Maps
Consent to display content from Google