An orthogonal double cover (ODC) of a graph H is a collection G = {Gv : v ? V (H)} of |V (H)| subgraphs of H such that every edge of H is contained in exactly two members of G and for any two members Gu and Gv in G, |E(Gu) ...