Efficient Knowledge Compilation Beyond Weighted Model Counting.

Rafael Kiesel Pietro Totis Angelika Kimmig

Published in: CoRR (2022)

Keyphrases

model counting
knowledge compilation
weighted model counting
satisfiability testing
product configuration
databases
search space
information extraction
probabilistic inference