Symbolic representation and distributed matching strategies for schematics | IEEE Conference Publication | IEEE Xplore