Symmetric Weighted First-Order Model Counting

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: