Message Passing Algorithms for Semiring-Based and Valued Constraint Satisfaction Problems.
Hong XuCheng ChengSven KoenigT. K. Satish KumarPublished in: SOCS (2018)
Keyphrases
- constraint satisfaction problems
- message passing
- constraint problems
- pseudo boolean optimization
- constraint propagation
- constraint satisfaction
- constraint programming
- belief propagation
- sum product algorithm
- combinatorial problems
- forward checking
- backtracking search
- constraint graph
- non binary
- soft constraints
- shared memory
- finding optimal solutions
- tractable classes
- inference in graphical models
- special case
- image segmentation
- probabilistic inference
- np complete
- distributed systems
- lower bound
- computational complexity