Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls.

Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi

Browse the full IJCAI paper archive.