Solving Combinatorial Counting Problems with Weighted First-Order Model Counting. - Yuanhong Wang; Juhua Pu; Yuxu Zhou; Yuyi Wang 001; Ondrej Kuzelka (CoRR, 2026)