%0 Conference Paper %1 conf/iccad/CarterRSP89 %A Carter, J. Lawrence %A Rosen, Barry K. %A Smith, Gordon L. %A Pitchumani, Vijay %B ICCAD %D 1989 %I IEEE Computer Society %K dblp %P 38-41 %T Restricted symbolic evaluation is fast and useful. %U http://dblp.uni-trier.de/db/conf/iccad/iccad1989.html#CarterRSP89 %@ 0-8186-1986-4

@inproceedings{conf/iccad/CarterRSP89, added-at = {2023-03-24T00:00:00.000+0100}, author = {Carter, J. Lawrence and Rosen, Barry K. and Smith, Gordon L. and Pitchumani, Vijay}, biburl = {https://www.bibsonomy.org/bibtex/2883d4b9d99f39cae23d4d29661129b97/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/1989}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICCAD.1989.76900}, interhash = {ca537a78986e2bf848aecc619d32f71c}, intrahash = {883d4b9d99f39cae23d4d29661129b97}, isbn = {0-8186-1986-4}, keywords = {dblp}, pages = {38-41}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:52:21.000+0200}, title = {Restricted symbolic evaluation is fast and useful.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad1989.html#CarterRSP89}, year = 1989 }