492
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