Generalized Weighted Model Counting: An Efficient Monte-Carlo Meta-Algorithm.
Lirong XiaPublished in: AAAI Fall Symposium: Machine Aggregation of Human Judgment (2012)
Keyphrases
- monte carlo
- monte carlo simulation
- stochastic approximation
- learning algorithm
- computational complexity
- importance sampling
- matrix inversion
- dynamic programming
- variance reduction
- probabilistic model
- worst case
- weighted model counting
- markov chain
- least squares
- computational cost
- np hard
- search space
- objective function