GANAK: A Scalable Probabilistic Exact Model Counter.

Shubham Sharma, Subhajit Roy, Mate Soos, Kuldeep S. Meel

Browse the full IJCAI paper archive.