Stefan Edelkamp Heuristic Search Planning with BDDs. 2000 conf/puk/2000 PuK http://www-is.informatik.uni-oldenburg.de/~sauer/puk2000/papers/edelkamp.pdf db/conf/puk/puk2000.html#Edelkamp00