%0 Conference Paper %1 conf/iccad/JeongPHS91 %A Jeong, Seh-Woong %A Plessier, Bernard %A Hachtel, Gary D. %A Somenzi, Fabio %B ICCAD %D 1991 %I IEEE Computer Society %K dblp %P 464-467 %T Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms. %U http://dblp.uni-trier.de/db/conf/iccad/iccad1991.html#JeongPHS91 %@ 0-8186-2157-5

@inproceedings{conf/iccad/JeongPHS91, added-at = {2023-03-24T00:00:00.000+0100}, author = {Jeong, Seh-Woong and Plessier, Bernard and Hachtel, Gary D. and Somenzi, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/263cb4e60171345a23fe9fb51142adb38/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/1991}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICCAD.1991.185305}, interhash = {c3d2426d1095dea9a415b5591822bd0e}, intrahash = {63cb4e60171345a23fe9fb51142adb38}, isbn = {0-8186-2157-5}, keywords = {dblp}, pages = {464-467}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:49:28.000+0200}, title = {Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad1991.html#JeongPHS91}, year = 1991 }