%0 Conference Paper %1 conf/iccad/PandaSP94 %A Panda, Shipra %A Somenzi, Fabio %A Plessier, Bernard %B ICCAD %D 1994 %E Jess, Jochen A. G. %E Rudell, Richard L. %I IEEE Computer Society / ACM %K dblp %P 628-631 %T Symmetry detection and dynamic variable ordering of decision diagrams. %U http://dblp.uni-trier.de/db/conf/iccad/iccad1994.html#PandaSP94 %@ 0-89791-690-5

@inproceedings{conf/iccad/PandaSP94, added-at = {2023-03-24T00:00:00.000+0100}, author = {Panda, Shipra and Somenzi, Fabio and Plessier, Bernard}, biburl = {https://www.bibsonomy.org/bibtex/201653417ffb39ec11412141b7309650e/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/1994}, editor = {Jess, Jochen A. G. and Rudell, Richard L.}, ee = {https://dl.acm.org/citation.cfm?id=191598}, interhash = {f368f725db8ab223f397993f99b7c2b5}, intrahash = {01653417ffb39ec11412141b7309650e}, isbn = {0-89791-690-5}, keywords = {dblp}, pages = {628-631}, publisher = {IEEE Computer Society / ACM}, timestamp = {2024-04-10T20:50:18.000+0200}, title = {Symmetry detection and dynamic variable ordering of decision diagrams.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad1994.html#PandaSP94}, year = 1994 }