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…