The Todd-Coxeter Procedure and Left Kan Extensions.

S. Carmody M. Leeming Robert F. C. Walters

Published in: J. Symb. Comput. (1995)

Keyphrases

semidefinite programming
search procedure
real world
computational complexity
database
neural network
artificial intelligence
iterative procedure
precedence relations