Weighted First-Order Model Counting in the Two-Variable Fragment With
  Counting Quantifiers
v1v2v3 (latest)

Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers

Papers citing "Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers"