Confluence of Reduction Rules for Lexicographic Ordering Constraints.

Andrew Grayland Ian Miguel Colva M. Roney-Dougal

Published in: SARA (2009)

Keyphrases

ordering constraints
graph cuts
htn planning
semantic segmentation
graph cut segmentation
optical flow
medical images
combinatorial optimization
constraint programming
smoothness constraint
integer program