Formulations for the maximum common edge subgraph problem. - Etienne de Gastines; Arnaud Knippel (Discret. Appl. Math., 2024)