Bipartite graph labeling for the subcircuit recognition problem | IEEE Conference Publication | IEEE Xplore