Probabilistic Program Abstractions
The complexity of computing the permanent