TY - RPRT TI - Lifted Inference in 2-Variable Markov Logic Networks with Function and Cardinality Constraints Using Discrete Fourier Transform AU - Ondrej Kuzelka PY - 2020 UR - https://arxiv.org/abs/2006.03432 ID - 2006.03432 ER -