"Factoring semi-primes with (quantum) SAT-solvers."

Michele Mosca, Sebastian R. Verschoor (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics