Keyphrases
- symmetry breaking
- ordering constraints
- constraint programming
- htn planning
- search tree
- global constraints
- graph cuts
- graph coloring
- integer linear programming
- graph cut segmentation
- constraint satisfaction problems
- semantic segmentation
- shape prior
- smoothness constraint
- search algorithm
- combinatorial problems
- image pixels
- sat solvers
- energy function
- lower bound
- bayesian networks
- constraint propagation