Closing the Gap Between Short and Long XORs for Model Counting
The complexity of computing the permanent