Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov. Exploiting structure in symmetry detection for CNF. In Sharad Malik, Limor Fix, Andrew B. Kahng, editors, Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004. pages 530-534, ACM, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.