Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability.

Jin S. Zhang, Alan Mishchenko, Robert K. Brayton, Malgorzata Chrzanowska-Jeske

Browse the full DAC paper archive.