Detection of symmetry of Boolean functions represented by ROBDDs | IEEE Conference Publication | IEEE Xplore