C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Algebraic model counting.
Angelika Kimmig
Guy Van den Broeck
Luc De Raedt
Published in:
J. Appl. Log. (2017)
Keyphrases
</>
model counting
weighted model counting
knowledge compilation
polynomial size
satisfiability testing
probabilistic inference
upper bound
orders of magnitude
randomly generated