Return to Article Details Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers Download Download PDF