%0 Conference Paper %1 conf/dac/BryantC95 %A Bryant, Randal E. %A Chen, Yirng-An %B DAC %D 1995 %E Preas, Bryan %I ACM Press %K dblp %P 535-541 %T Verification of Arithmetic Circuits with Binary Moment Diagrams. %U http://dblp.uni-trier.de/db/conf/dac/dac95.html#BryantC95 %@ 0-89791-725-1

@inproceedings{conf/dac/BryantC95, added-at = {2017-03-16T00:00:00.000+0100}, author = {Bryant, Randal E. and Chen, Yirng-An}, biburl = {https://www.bibsonomy.org/bibtex/24bb5d9a798fb05b298ef9a26e38c1acf/dblp}, booktitle = {DAC}, crossref = {conf/dac/1995}, editor = {Preas, Bryan}, ee = {http://doi.acm.org/10.1145/217474.217583}, interhash = {77ab43d981a858334e4c4394fecaf219}, intrahash = {4bb5d9a798fb05b298ef9a26e38c1acf}, isbn = {0-89791-725-1}, keywords = {dblp}, pages = {535-541}, publisher = {ACM Press}, timestamp = {2017-03-17T11:39:46.000+0100}, title = {Verification of Arithmetic Circuits with Binary Moment Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac95.html#BryantC95}, year = 1995 }