State-set branching: Leveraging BDDs for heuristic search
- Rune Møller Jensen
- , Manuela M. Veloso
- , Randal E. Bryant
- Carnegie Mellon University
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review