Structural graph matching with polynomial bounds on memory and on worst-case effort | IEEE Conference Publication | IEEE Xplore