Subgraph Isomorphism in Temporal Networks
Bit-vector algorithms for binary constraint satisfaction and subgraph isomorphism