Chen-Ling Chou Chun-Yao Wang Geeng-Wei Lee Jing-Yang Jou Graph Automorphism-Based Algorithm for Determining Symmetric Inputs. 417-419 2004 conf/iccd/2004 ICCD http://doi.ieeecomputersociety.org/10.1109/ICCD.2004.1347956 db/conf/iccd/iccd2004.html#ChouWLJ04