How to fake an RSA signature by encoding modular root finding as a SAT problem.

Claudia Fiorini Enrico Martinelli Fabio Massacci How to fake an RSA signature by encoding modular root finding as a SAT problem. 101-127 2003 130 Discrete Applied Mathematics 2 http://dx.doi.org/10.1016/S0166-218X(02)00400-6 db/journals/dam/dam130.html#FioriniMM03