Login / Signup

Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry.

Timothy van BremenOndrej Kuzelka
Published in: IJCAI (2020)
Keyphrases
  • probabilistic model
  • objective function
  • lower bound
  • special case
  • data model