TY  - RPRT
TI  - Weighted Model Counting in the two variable fragment with Cardinality Constraints: A Closed Form Formula
AU  - Sagar Malhotra
AU  - Luciano Serafini
PY  - 2021
UR  - https://arxiv.org/abs/2009.12237
ID  - 2009.12237
ER  -