TY  - RPRT
TI  - A simple way to reduce factorization problems to SAT
AU  - Davide Maran
PY  - 2020
UR  - https://arxiv.org/abs/1708.02844
ID  - 1708.02844
ER  -