Factoring semi-primes with (quantum) SAT-solvers
Abstract The computational difficulty of factoring large integers forms the basis of security for RSA public-key cryptography. The best-known factoring algorithms for classical computers run in sub-exponential time. The integer factorization problem can be reduced to the Boolean Satisfiability probl...
Main Authors: | Michele Mosca, Sebastian R. Verschoor |
---|---|
Format: | Article |
Language: | English |
Published: |
Nature Portfolio
2022-05-01
|
Series: | Scientific Reports |
Online Access: | https://doi.org/10.1038/s41598-022-11687-7 |
Similar Items
-
Local Consistency and SAT-Solvers
by: Jeavons, P, et al.
Published: (2012) -
Local Consistency and SAT-Solvers
by: Petke, J, et al.
Published: (2010) -
Local consistency and SAT−solvers
by: Jeavons, P, et al.
Published: (2012) -
Local Consistency and SAT−Solvers
by: Jeavons, P, et al.
Published: (2012) -
Local consistency and SAT−solvers
by: Jeavons, P, et al.
Published: (2010)