Lifting WALKSAT-Based Local Search Algorithms for MAP Inference.
Somdeb SarkhelVibhav GogatePublished in: AAAI Workshop: Statistical Relational Artificial Intelligence (2013)
Keyphrases
- map inference
- search algorithm
- satisfiability problem
- graphical models
- image labeling
- markov random field
- dual decomposition
- max sat
- semantic segmentation
- search space
- heuristic search
- branch and bound
- cutting plane
- probabilistic model
- cutting plane algorithm
- tabu search
- maximum a posteriori
- sat problem
- search tree
- belief propagation
- bayesian networks
- column generation
- computer vision
- tree search
- conditional random fields
- generative model
- graph cuts
- computational complexity