%0 Journal Article %1 journals/tcad/LaiPV94 %A Lai, Yung-Te %A Pedram, Massoud %A Vrudhula, Sarma B. K. %D 1994 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 8 %P 959-975 %T EVBDD-based algorithms for integer linear programming, spectral transformation, and function decomposition. %U http://dblp.uni-trier.de/db/journals/tcad/tcad13.html#LaiPV94 %V 13

@article{journals/tcad/LaiPV94, added-at = {2020-09-24T00:00:00.000+0200}, author = {Lai, Yung-Te and Pedram, Massoud and Vrudhula, Sarma B. K.}, biburl = {https://www.bibsonomy.org/bibtex/258a358bb13ce02a6e3c72d369d510b05/dblp}, ee = {https://doi.org/10.1109/43.298033}, interhash = {9a06d42bb7b6a396a4f8c0c936599849}, intrahash = {58a358bb13ce02a6e3c72d369d510b05}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 8, pages = {959-975}, timestamp = {2020-09-25T11:50:26.000+0200}, title = {EVBDD-based algorithms for integer linear programming, spectral transformation, and function decomposition.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad13.html#LaiPV94}, volume = 13, year = 1994 }