Bridging Weighted First Order Model Counting and Graph Polynomials.

Qipeng Kuang, Ondrej Kuzelka, Yuanhong Wang, Yuyi Wang

Browse the full CSL paper archive.