%0 Conference Paper %1 conf/aspdac/KettleK06 %A Kettle, Neil %A King, Andy %B ASP-DAC %D 2006 %E Hirose, Fumiyasu %I IEEE %K %P 243-248 %T An anytime symmetry detection algorithm for ROBDDs. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2006.html#KettleK06 %@ 0-7803-9451-8

@inproceedings{conf/aspdac/KettleK06, added-at = {2023-12-13T03:51:36.000+0100}, author = {Kettle, Neil and King, Andy}, biburl = {https://www.bibsonomy.org/bibtex/2d8ee432e28d86d0eda0f79fa198b3375/admin}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2006}, editor = {Hirose, Fumiyasu}, ee = {https://doi.org/10.1145/1118299.1118364}, interhash = {8f9221740480dfaa30c5ec89f60a29c8}, intrahash = {d8ee432e28d86d0eda0f79fa198b3375}, isbn = {0-7803-9451-8}, keywords = {}, pages = {243-248}, publisher = {IEEE}, timestamp = {2023-12-13T03:51:36.000+0100}, title = {An anytime symmetry detection algorithm for ROBDDs.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2006.html#KettleK06}, year = 2006 }