Bridging Weighted First Order Model Counting and Graph Polynomials

Open in new window