Opus: An efficient admissible algorithm for unordered search (1995)

by G Webb
Venue:Journal of Artificial Intelligence Research