A Total AC-Compatible Ordering Based on RPO.

Albert Rubio Robert Nieuwenhuis

Published in: Theor. Comput. Sci. (1995)

Keyphrases

real time
artificial intelligence
partial order
neural network
database systems
multi agent systems
arc consistency
partial ordering
knuth bendix