Ordered Chaining for Total Orderings.

Leo Bachmair Harald Ganzinger

Published in: CADE (1994)

Keyphrases

data sets
genetic algorithm
artificial intelligence
neural network
computer vision
bayesian networks
medical images
partially ordered