How to fake an RSA signature by encoding modular root finding as a SAT problem. - Claudia Fiorini; Enrico Martinelli; Fabio Massacci (Discret. Appl. Math., 2003)