%0 Conference Paper %1 conf/isvlsi/LiTS04 %A Li, Lun %A Thornton, Mitchell A. %A Szygenda, Stephen A. %B ISVLSI %D 2004 %I IEEE Computer Society %K dblp %P 32-38 %T A Genetic Approach for Conjunction Scheduling in Symbolic Equivalence Checking. %U http://dblp.uni-trier.de/db/conf/isvlsi/isvlsi2004.html#LiTS04 %@ 0-7695-2097-9

@inproceedings{conf/isvlsi/LiTS04, added-at = {2023-03-24T00:00:00.000+0100}, author = {Li, Lun and Thornton, Mitchell A. and Szygenda, Stephen A.}, biburl = {https://www.bibsonomy.org/bibtex/27b246569426a4b4cd4d8531e6c9ad86f/dblp}, booktitle = {ISVLSI}, crossref = {conf/isvlsi/2004}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISVLSI.2004.1339505}, interhash = {c9468a7f85e6af8bb71a4164a2368507}, intrahash = {7b246569426a4b4cd4d8531e6c9ad86f}, isbn = {0-7695-2097-9}, keywords = {dblp}, pages = {32-38}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:06:27.000+0200}, title = {A Genetic Approach for Conjunction Scheduling in Symbolic Equivalence Checking.}, url = {http://dblp.uni-trier.de/db/conf/isvlsi/isvlsi2004.html#LiTS04}, year = 2004 }