An upper bound on the time complexity of iterative-deepening-\(A^*\)
scientific article; zbMATH DE number 1005845
scientific article