MM: a bidirectional search algorithm that is guaranteed to meet in the middle
scientific article; zbMATH DE number 6810479
scientific article