Download PDFOpen PDF in browserDetecting Modular ACU Structural Symmetries5 pages•Published: July 29, 2013AbstractWe present an efficient encoding of order-sorted modular ACU terms into colored directed graphs. Then, by computing the automorphism groups of the encoded graphs, we are able to extract ACU structural symmetries both inside a term and across a set of terms. Finally, we show how the computed symmetries can be applied to the optimization of the equational generalization algorithms for modular ACU theories.Keyphrases: equational generalization, graph automorphism, structural symmetries In: Konstantin Korovin and Barbara Morawska (editors). UNIF 2013. 27th International Workshop on Unification, vol 19, pages 3-7.
|