Login / Signup

The Formula Isomorphism Problem.

Manindra AgrawalThomas 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