Bit-vector algorithms for binary constraint satisfaction and subgraph isomorphism (The ACM journal of experimental algorithmics)