On Ordering Constraints for Deduction with Built-In Abelian Semigroups, Monoids and Groups.

Guillem Godoy Robert Nieuwenhuis

Published in: LICS (2001)

Keyphrases

ordering constraints
graph cuts
htn planning
graph cut segmentation
shape prior
semantic segmentation
higher order
smoothness constraint
image processing
search algorithm
energy function