Dirk Möller, Janett Mohnke, Michael Weber. Detection of symmetry of Boolean functions represented by ROBDDs. In Michael R. Lightner, Jochen A. G. Jess, editors, Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993. pages 680-684, IEEE Computer Society, 1993. [doi]
@inproceedings{MollerMW93, title = {Detection of symmetry of Boolean functions represented by ROBDDs}, author = {Dirk Möller and Janett Mohnke and Michael Weber}, year = {1993}, doi = {10.1145/259794.259902}, url = {http://doi.acm.org/10.1145/259794.259902}, researchr = {https://researchr.org/publication/MollerMW93}, cites = {0}, citedby = {0}, pages = {680-684}, booktitle = {Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993}, editor = {Michael R. Lightner and Jochen A. G. Jess}, publisher = {IEEE Computer Society}, isbn = {0-8186-4490-7}, }