H Kaindl, G Kainz, R Steiner, A Auer, K Radda - IJCAI, 1999 - Citeseer
Recently, we showed that for traditional bidirectional search with" front-to-end" evaluations, it
is not the meeting of search fronts but the cost of proving the optimality of a solution that is …