Generalized Boolean symmetries through nested partition refinement.

Hadi Katebi, Karem A. Sakallah, Igor L. Markov

Browse the full ICCAD paper archive.