Login / Signup

ProCount: Weighted Projected Model Counting with Graded Project-Join Trees.

Jeffrey M. DudekVu H. N. PhanMoshe Y. Vardi
Published in: SAT (2021)
Keyphrases
  • model counting
  • weighted model counting
  • decision trees
  • knowledge compilation
  • lower bound
  • polynomial size
  • bayesian networks
  • search algorithm
  • relational databases
  • query language
  • conjunctive queries