Engineering an Efficient Probabilistic Exact Model Counter.

Mate Soos, Kuldeep S. Meel

Browse the full CAV paper archive.