Work

Abstraction heuristics for symbolic bidirectional search

Cites: 31
Cited by: 25
Related to: 10