A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints.
Nathan KitchenAndreas KuehlmannPublished in: CAV (2009)
Keyphrases
- markov chain monte carlo
- markov chain
- generative model
- posterior distribution
- parameter estimation
- sampling algorithm
- bayesian inference
- reversible jump markov chain monte carlo
- gibbs sampling
- particle filter
- monte carlo
- posterior probability
- markov chain monte carlo sampling
- importance sampling
- approximate inference
- particle filtering
- simulated annealing
- metropolis hastings
- data association
- bayesian framework
- gibbs sampler
- state space
- probability distribution