On the Combination of Congruence Closure and Completion.

Christelle Scharff Leo Bachmair

Published in: AISC (2004)

Keyphrases

socio technical
real time
genetic algorithm
computer vision
decision trees
three dimensional
pattern recognition
lower bound