TY  - RPRT
TI  - Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula
AU  - Sagar Malhotra
AU  - Luciano Serafini
PY  - 2022
UR  - https://arxiv.org/abs/2110.05992
ID  - 2110.05992
ER  -