Representation and symbolic manipulation of linearly inductive Boolean functions

Aarti Gupta, Allan L. Fisher. Representation and symbolic manipulation of linearly inductive Boolean functions. In Michael R. Lightner, Jochen A. G. Jess, editors, Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993. pages 192-199, IEEE Computer Society, 1993. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.