2 papers
cs.CR2019
On speeding up factoring with quantum SAT solvers
Michele Mosca, João Marcos Vensi Basso, Sebastian R. Verschoor
There have been several efforts to apply quantum SAT solving methods to factor large integers. While these methods may provide insight into quantum SAT solving, to date they have n…
cs.CR2019
Factoring semi-primes with (quantum) SAT-solvers
Michele Mosca, Sebastian R. Verschoor
The assumed computationally difficulty of factoring large integers forms the basis of security for RSA public-key cryptography, which specifically relies on products of two large p…