A binary linear programming formulation of the graph edit distance | IEEE Journals & Magazine | IEEE Xplore