%0 Journal Article %1 journals/todaes/FengWCL05 %A Feng, Tao %A Wang, Li-C. %A Cheng, Kwang-Ting %A Lin, Chih-Chan %D 2005 %J ACM Trans. Design Autom. Electr. Syst. %K dblp %N 4 %P 627-650 %T Using 2-domain partitioned OBDD data structure in an enhanced symbolic simulator. %U http://dblp.uni-trier.de/db/journals/todaes/todaes10.html#FengWCL05 %V 10

@article{journals/todaes/FengWCL05, added-at = {2022-12-07T00:00:00.000+0100}, author = {Feng, Tao and Wang, Li-C. and Cheng, Kwang-Ting and Lin, Chih-Chan}, biburl = {https://www.bibsonomy.org/bibtex/24435757331811aebf4b1a680cac1f526/dblp}, ee = {https://doi.org/10.1145/1109118.1109122}, interhash = {6002814d8e7d9b3e4d8ed62945c6004d}, intrahash = {4435757331811aebf4b1a680cac1f526}, journal = {ACM Trans. Design Autom. Electr. Syst.}, keywords = {dblp}, number = 4, pages = {627-650}, timestamp = {2024-04-08T21:43:21.000+0200}, title = {Using 2-domain partitioned OBDD data structure in an enhanced symbolic simulator.}, url = {http://dblp.uni-trier.de/db/journals/todaes/todaes10.html#FengWCL05}, volume = 10, year = 2005 }