On speeding up factoring with quantum SAT solvers. - Michele Mosca; João Marcos Vensi Basso; Sebastian R. Verschoor (CoRR, 2019)