TY  - RPRT
TI  - Symmetric Weighted First-Order Model Counting
AU  - Paul Beame
AU  - Guy Van den Broeck
AU  - Eric Gribkoff
AU  - Dan Suciu
PY  - 2015
UR  - https://arxiv.org/abs/1412.1505
ID  - 1412.1505
ER  -