Exploiting structure in symmetry detection for CNF.

Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov

Browse the full DAC paper archive.