Efficient Search in Graph Edit Distance: Metric Search Trees vs. Brute Force Verification. - Wenqi Marshall Guo; Jeffrey Uhlmann (CoRR, 2024)