Heuristic search for non-linear cryptanalytic approximations | IEEE Conference Publication | IEEE Xplore