The Formula Isomorphism Problem.

Manindra Agrawal Thomas Thierauf

Published in: SIAM J. Comput. (2000)

Keyphrases

graph theory
graph isomorphism
real time
databases
information retrieval
case study
three dimensional
mathematical formulas
universally quantified