TY  - RPRT
TI  - Skolemization for Weighted First-Order Model Counting
AU  - Guy Van den Broeck
AU  - Wannes Meert
AU  - Adnan Darwiche
PY  - 2014
UR  - https://arxiv.org/abs/1312.5378
ID  - 1312.5378
ER  -