Paul Beame, Guy Van den Broeck, Eric Gribkoff, Dan Suciu
Symmetric Weighted First-Order Model Counting
PODS, 2015.
@inproceedings{PODS-2015-BeameBGS, author = "Paul Beame and Guy Van den Broeck and Eric Gribkoff and Dan Suciu", booktitle = "{Proceedings of the 34th Symposium on Principles of Database Systems}", doi = "10.1145/2745754.2745760", isbn = "978-1-4503-2757-2", pages = "313--328", publisher = "{ACM}", title = "{Symmetric Weighted First-Order Model Counting}", year = 2015, }