Faster Symmetry Discovery using Sparsity of Symmetries. - Darga, Paul T.; Sakallah, Karem A.; Markov, Igor L. (DAC: Annual ACM/IEEE Design Automation Conference, 2008)