Detection of symmetry of Boolean functions represented by ROBDDs

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]

Authors

Dirk Möller

This author has not been identified. Look up 'Dirk Möller' in Google

Janett Mohnke

This author has not been identified. Look up 'Janett Mohnke' in Google

Michael Weber

This author has not been identified. Look up 'Michael Weber' in Google