Algorithms and Complexity Results for #SAT and Bayesian Inference.

Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi

Browse the full FOCS paper archive.