We consider the task of weighted first-order model counting (WFOMC) used for probabilistic inference in area statistical relational learning. Given a formula φ, domain size n and pair weight functions, what is sum all models φ over n? It was shown that computing WFOMC any logical sentence with at most two variables can be done time polynomial n. However, it also #P1-complete once we add third v...
