An Approximate Maximum Common Subgraph Algorithm for Large Digital Circuits | IEEE Conference Publication | IEEE Xplore