A combined attack on RSA algorithm by SAT-approach | IEEE Conference Publication | IEEE Xplore