%0 Journal Article %1 journals/corr/BroeckMD13 %A den Broeck, Guy Van %A Meert, Wannes %A Darwiche, Adnan %D 2013 %J CoRR %K %T Skolemization for Weighted First-Order Model Counting. %U http://dblp.uni-trier.de/db/journals/corr/corr1312.html#BroeckMD13 %V abs/1312.5378

@article{journals/corr/BroeckMD13, added-at = {2023-12-12T19:59:10.000+0100}, author = {den Broeck, Guy Van and Meert, Wannes and Darwiche, Adnan}, biburl = {https://www.bibsonomy.org/bibtex/2598eac115cbfca91993c0e1ee36315e3/admin}, ee = {http://arxiv.org/abs/1312.5378}, interhash = {28d8d2cdbd0f5439af2164e0e276a165}, intrahash = {598eac115cbfca91993c0e1ee36315e3}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T19:59:10.000+0100}, title = {Skolemization for Weighted First-Order Model Counting.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1312.html#BroeckMD13}, volume = {abs/1312.5378}, year = 2013 }