Project supported by the National Natural Science Foundation of China(Nos.61471314 and 61271124);the National Social Science Foundation of China(No.12AZD121);the Zhejiang Provincial Natural Science Foundation of China(No.LY13F010001);the National Key Technology Research and Development Program of the Ministry of Science and Technology of China(Nos.2013BAH27F01 and 2013BAH27F02)
To simplify the process for identifying 12 types of symmetric variables in the canonical OR-coincidence(COC) algebra system, we propose a new symmetry detection algorithm based on OR-NXOR expansion. By analyzing the r...