TY  - RPRT
TI  - Weighted model counting beyond two-variable logic
AU  - Antti Kuusisto
AU  - Carsten Lutz
PY  - 2018
UR  - https://arxiv.org/abs/1804.10185
ID  - 1804.10185
ER  -