Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Symmetry detection and dynamic variable ordering of decision diagrams
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Dynamic variable ordering for ordered binary decision diagrams
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Detection of symmetry of Boolean functions represented by ROBDDs
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
OBDD Minimization Based on Two-Level Representation of Boolean Functions
IEEE Transactions on Computers
| Hi-index | 14.98 |
This paper presents an elegant and efficient algorithm for detection of symmetry in Boolean functions represented by OBDDs.