Sign in

Efficient Knowledge Compilation Beyond Weighted Model Counting.

Rafael KieselPietro TotisAngelika Kimmig
Published in: CoRR (2022)
Keyphrases
  • model counting
  • knowledge compilation
  • weighted model counting
  • satisfiability testing
  • product configuration
  • databases
  • search space
  • information extraction
  • probabilistic inference