%0 Journal Article %1 journals/fmsd/HardinKSV01 %A Hardin, Ronald H. %A Kurshan, Robert P. %A Shukla, Sandeep K. %A Vardi, Moshe Y. %D 2001 %J Formal Methods Syst. Des. %K dblp %N 2 %P 131-140 %T A New Heuristic for Bad Cycle Detection Using BDDs. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd18.html#HardinKSV01 %V 18

@article{journals/fmsd/HardinKSV01, added-at = {2020-03-13T00:00:00.000+0100}, author = {Hardin, Ronald H. and Kurshan, Robert P. and Shukla, Sandeep K. and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2af7963e5aa51cfdce920eef1ab852dca/dblp}, ee = {https://doi.org/10.1023/A:1008727508722}, interhash = {b3ea242c7aaf5baf4fa6dde4867568e0}, intrahash = {af7963e5aa51cfdce920eef1ab852dca}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 2, pages = {131-140}, timestamp = {2020-03-14T11:51:53.000+0100}, title = {A New Heuristic for Bad Cycle Detection Using BDDs.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd18.html#HardinKSV01}, volume = 18, year = 2001 }