Efficient Boolean function matching.

Jerry R. Burch, David E. Long

Browse the full ICCAD paper archive.