Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry.

Timothy van Bremen, Ondrej Kuzelka

Browse the full IJCAI paper archive.