A characterization of Hash P by arithmetic straight line programs | IEEE Conference Publication | IEEE Xplore