State-set branching: Leveraging BDDs for heuristic search

Autor: Jensen, Rune M., Veloso, Manuela M., Bryant, Randal E.
Zdroj: In Artificial Intelligence 2008 172(2):103-139
Databáze: ScienceDirect