## Symmetric Weighted First-Order Model Counting (bibtex)

by Paul Beame, Guy Van den Broeck, Eric Gribkoff and Dan Suciu
Reference:
Paul Beame, Guy Van den Broeck, Eric Gribkoff and Dan Suciu. Symmetric Weighted First-Order Model Counting, In Proceedings of the 34th ACM Symposium on Principles of Database Systems (PODS), 2015.
Bibtex Entry:
@inproceedings{BeamePODS15,
author    = {Beame, Paul and Van den Broeck, Guy and Gribkoff, Eric and Suciu, Dan},
title     = {Symmetric Weighted First-Order Model Counting},
booktitle = {Proceedings of the 34th ACM Symposium on Principles of Database Systems (PODS)},
year      = {2015},
url = {http://starai.cs.ucla.edu/papers/BeamePODS15.pdf},
keywords   = {conference,selective}
}
PDF Preview: