Efficient Signatures with Linear Space Complexity for Detecting Boolean Function Equivalence.

Santanu Chattopadhyay, Parimal Pal Chaudhuri

Browse the full VLSID paper archive.