Efficient single frontier bidirectional search