Elimination of Equality via Transformation with Ordering Constraints.

Leo Bachmair Harald Ganzinger Andrei Voronkov

Published in: CADE (1998)

Keyphrases

ordering constraints
htn planning
semantic segmentation
graph cut segmentation
graph cuts
image processing
smoothness constraint
pairwise
higher order
shape prior