Bridging Weighted First Order Model Counting and Graph Polynomials

Re-assign community