Liu, 2022. A Strengthened Branch and Bound Algorithm for the Maximum Common (Connected) Subgraph Problem.