PBCounter: Weighted Model Counting on Pseudo-Boolean Formulas.
Yong LaiZhenghang XuMinghao YinPublished in: CoRR (2023)
Keyphrases
- weighted model counting
- boolean formula
- probabilistic inference
- bayesian inference
- model counting
- sat solvers
- practical problems
- np complete
- membership queries
- linear constraints
- graphical models
- binary decision diagrams
- sat problem
- equivalence queries
- max sat
- knowledge compilation
- belief networks
- uniform distribution
- probabilistic model
- sat instances
- cnf formula
- boolean functions