Jin S. Zhang, Alan Mishchenko, Robert K. Brayton, Malgorzata Chrzanowska-Jeske
Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability
DAC, 2006.
@inproceedings{DAC-2006-ZhangMBC,
author = "Jin S. Zhang and Alan Mishchenko and Robert K. Brayton and Malgorzata Chrzanowska-Jeske",
booktitle = "{Proceedings of the 43rd Design Automation Conference}",
doi = "10.1145/1146909.1147044",
isbn = "1-59593-381-6",
pages = "510--515",
publisher = "{ACM}",
title = "{Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability}",
year = 2006,
}