AllDifferent-based filtering for subgraph isomorphism
scientific article; zbMATH DE number 5777574