Two-stage exact detection of symmetries

Abstract

We propose an approach to exact detection of symmetries in multiple-valued logic (MVL) functions based on two-stage strategy. First, we reduce the search space by using information measures and then apply an exact method to find symmetry. The efficiency of the approach is evaluated by experimental study.