@misc{indiciae1cc9803c3427,
  title = {Factoring semi-primes with (quantum) SAT-solvers},
  author = {Michele Mosca and Sebastian R. Verschoor},
  year = {2019},
  url = {https://arxiv.org/abs/1902.01448},
  note = {Source identifier: 1902.01448}
}