Solving Combinatorial Counting Problems with Weighted First-Order Model Counting

Yuanhong Wang, Juhua Pu, Yuxu Zhou +2

Combinatorial counting problems pervade artificial intelligence, statistics, and discrete mathematics. Whether the task is enumerating subsets, multisets, permutations, partitions,…