Login / Signup
Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry.
Timothy van Bremen
Ondrej Kuzelka
Published in:
IJCAI (2020)
Keyphrases
</>
probabilistic model
objective function
lower bound
special case
data model