SetA*: An Efficient BDD-Based Heuristic Search Algorithm.

Rune Mller Jensen, Randal E. Bryant, Manuela M. Veloso

Browse the full AAAI paper archive.