Generating Random Instances of Weighted Model Counting - An Empirical Analysis with Varying Primal Treewidth.
Paulius DilkasPublished in: CPAIOR (2023)
Keyphrases
- weighted model counting
- random instances
- model counting
- polynomial size
- phase transition
- probabilistic inference
- bounded treewidth
- randomly generated
- boolean functions
- bayesian inference
- lower bound
- constraint satisfaction problems
- np complete
- upper bound
- hard problems
- linear programming
- np complete problems
- bayesian networks
- search space
- space complexity
- search problems
- satisfiability problem
- constraint satisfaction
- probabilistic model
- satisfiability testing