Symmetric Weighted First-Order Model Counting.

Paul Beame, Guy Van den Broeck, Eric Gribkoff, Dan Suciu

Browse the full PODS paper archive.