Finding large Poisson polynomials using four-level variable precision | IEEE Conference Publication | IEEE Xplore