Keyphrases
- ordering constraints
- symmetry breaking
- constraint programming
- search tree
- global constraints
- graph cut segmentation
- htn planning
- constraint satisfaction problems
- graph cuts
- integer linear programming
- semantic segmentation
- graph coloring
- symmetry breaking constraints
- smoothness constraint
- integer program
- combinatorial problems
- constraint satisfaction
- branch and bound algorithm