Congruence Closure Modulo Associativity and Commutativity.

Leo Bachmair I. V. Ramakrishnan Ashish Tiwari Laurent Vigneron

Published in: FroCoS (2000)

Keyphrases

socio technical
update operations
preprocessing
database
artificial intelligence
data sets
databases
real world
web services
three dimensional
multi agent systems