%0 Conference Paper %1 conf/sara/HansenZF02 %A Hansen, Eric A. %A Zhou, Rong %A Feng, Zhengzhu %B SARA %D 2002 %E Koenig, Sven %E Holte, Robert C. %I Springer %K dblp %P 83-98 %T Symbolic Heuristic Search Using Decision Diagrams. %U http://dblp.uni-trier.de/db/conf/sara/sara2002.html#HansenZF02 %V 2371 %@ 3-540-43941-2

@inproceedings{conf/sara/HansenZF02, added-at = {2017-05-23T00:00:00.000+0200}, author = {Hansen, Eric A. and Zhou, Rong and Feng, Zhengzhu}, biburl = {https://www.bibsonomy.org/bibtex/242a4ce0ed1d72379a2baaffb28893e68/dblp}, booktitle = {SARA}, crossref = {conf/sara/2002}, editor = {Koenig, Sven and Holte, Robert C.}, ee = {https://doi.org/10.1007/3-540-45622-8_7}, interhash = {ec106bb01c79b0339d4da40b58f6aa8e}, intrahash = {42a4ce0ed1d72379a2baaffb28893e68}, isbn = {3-540-43941-2}, keywords = {dblp}, pages = {83-98}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:32:41.000+0200}, title = {Symbolic Heuristic Search Using Decision Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/sara/sara2002.html#HansenZF02}, volume = 2371, year = 2002 }