Gopala, Meka, Reingold, 2012. DNF Sparsification and a Faster Deterministic Counting Algorithm.