Reed-Muller weight and literal vectors for NPN classification | IEEE Conference Publication | IEEE Xplore