Formally Certified Approximate Model Counting.

Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel

Browse the full CAV paper archive.