Fast Boolean matching based on NPN classification | IEEE Conference Publication | IEEE Xplore