@inproceedings{VanDenBroeckMD14, author = {Guy {Van den Broeck} and Wannes Meert and Adnan Darwiche}, title = {Skolemization for Weighted First-Order Model Counting}, booktitle = {Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR)}, year = {2014} }