@misc{indiciaed4f31a12ddca,
  title = {Symmetric Weighted First-Order Model Counting},
  author = {Paul Beame and Guy Van den Broeck and Eric Gribkoff and Dan Suciu},
  year = {2015},
  url = {https://arxiv.org/abs/1412.1505},
  note = {Source identifier: 1412.1505}
}