Weighted model counting beyond two-variable logic.

Antti Kuusisto Carsten Lutz

Published in: CoRR (2018)

Keyphrases

weighted model counting
probabilistic inference
bayesian inference
model counting
graphical models
training data
state space
computational properties
satisfiability testing