Randal E. Bryant, Yirng-An Chen. Verification of Arithmetic Circuits with Binary Moment Diagrams. In DAC. pages 535-541, 1995. [doi]
@inproceedings{BryantC95, title = {Verification of Arithmetic Circuits with Binary Moment Diagrams}, author = {Randal E. Bryant and Yirng-An Chen}, year = {1995}, doi = {10.1145/217474.217583}, url = {http://doi.acm.org/10.1145/217474.217583}, tags = {e-science}, researchr = {https://researchr.org/publication/BryantC95}, cites = {0}, citedby = {0}, pages = {535-541}, booktitle = {DAC}, }