1: \begin{thebibliography}{1}

2: \bibitem{freakout} V.~Chandrasekaran, M.~Chertkov, D.~Gamarnik, D.~Shah, and J.~Shin, ``Counting Independent Sets Using the Bethe Approximation,'' preprint available online at http://www-math.mit.edu/$\sim$jinwoos/submit\_bp.pdf, 2009.

3: \bibitem{Jed} J.~S.~Yedidia, W.~T.~Freeman, and Y.~Weiss, ``Constructing Free-Energy Approximations and Generalized Belief Propagation Algorithms,'' {\em IEEE Transactions on Information Theory}, Vol. 51, pp. 2282-2312, 2005.

4: \bibitem{Alon} N.~Alon and M.~Tarsi, ``Covering Multigraphs by Simple Circuits.'' {\em SIAM Journal on Algebraic and Discrete Methods}, Vol 6, pp. 345-350, 1985.

5: \bibitem{sharp} A.~Bandyopadhyay and D.~Gamarnik, ``Counting Without Sampling. New Algorithms for 

6: Enumeration Problems Using Statistical Physics,'' {\em Random Structures and Algorithms}, Vol. 33, pp. 452-479, 2008.

7: \bibitem{Bryant} R.~E.~Bryant, ``Graph-based Algorithms for Boolean Function Manipulation,'' {\em IEEE Transactions

8: on Computers}, Vol. 35, pp. 677-691, 1986.

9: \bibitem{Knuth} D.~E.~Knuth, Chapter 7.1.4, ``Binary Decision Diagrams,'' {\em The Art of Computer Programming}, Vol. 4, fascicle 1, pp. 70-126, 2009.

10: \bibitem{bdd14} available online at http://www-cs-faculty.stanford.edu/$\sim$uno/programs/bdd14.w

11: 

12: \end{thebibliography}

13: