MM: A bidirectional search algorithm that is guaranteed to meet in the middle | Academic Article individual record