Rounding Meets Approximate Model Counting.

Jiong Yang, Kuldeep S. Meel

Browse the full CAV paper archive.