Detecting symmetric variables in Boolean functions using generalized Reed-Muller forms | IEEE Conference Publication | IEEE Xplore