%0 Journal Article %1 journals/tcad/StanionS94 %A Stanion, Ted %A Sechen, Carl %D 1994 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 9 %P 1179-1184 %T Boolean division and factorization using binary decision diagrams. %U http://dblp.uni-trier.de/db/journals/tcad/tcad13.html#StanionS94 %V 13

@article{journals/tcad/StanionS94, added-at = {2020-09-24T00:00:00.000+0200}, author = {Stanion, Ted and Sechen, Carl}, biburl = {https://www.bibsonomy.org/bibtex/2e92eeb2517414b6d110231e64354bda5/dblp}, ee = {https://doi.org/10.1109/43.310907}, interhash = {e990f7609282fd8699c41eddc9a148df}, intrahash = {e92eeb2517414b6d110231e64354bda5}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 9, pages = {1179-1184}, timestamp = {2020-09-25T11:50:32.000+0200}, title = {Boolean division and factorization using binary decision diagrams.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad13.html#StanionS94}, volume = 13, year = 1994 }