P.C. McGeer

Fast discrete function evaluation using decision diagrams

A.L. Sangiovanni-Vincentelli, P.C. McGeer, K.L. McMillan, 1995, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).