Efficient signatures with linear space complexity for detecting Boolean function equivalence | IEEE Conference Publication | IEEE Xplore