Reducing hard SAT instances to polynomial ones | IEEE Conference Publication | IEEE Xplore