Weak Modular Product of Bipartite Graphs, Bicliques and Isomorphism

Danial Dervovic, Simone Severini

A 1978 theorem of Kozen states that two graphs on $n$ vertices are isomorphic if and only if there is a clique of size $n$ in the weak modular product between the two graphs. Restr…