Text this: Polyhedral study of the maximum common induced subgraph problem.