Model Counting and Sampling via Semiring Extensions.

Andreas Goral Joachim Giesen Mark Blacher Christoph Staudt Julien Klaus

Published in: AAAI (2024)

Keyphrases

model counting
weighted model counting
knowledge compilation
satisfiability testing
probabilistic inference
polynomial size
database
natural language
search space
orders of magnitude