Efficient Knowledge Compilation Beyond Weighted Model Counting.

Rafael Kiesel Pietro Totis Angelika Kimmig

Published in: Theory Pract. Log. Program. (2022)

Keyphrases

model counting
weighted model counting
knowledge compilation
satisfiability testing
product configuration
polynomial size
probabilistic inference
artificial intelligence
optimal solution
decision support
bayesian inference
prime implicates