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://web.cs.ucla.edu/~guyvdb/papers/BeamePODS15.pdf},
  keywords   = {conference,selective}
}
PDF Preview:
(PDF preview not available, download PDF instead)
Powered by bibtexbrowser