I read somewhere that 3SAT can be used to solve Integer Factorization.


If that is true, could someone teach me a simple example of generating the 3SAT by using a small number? Let's say you are given the number 6, then the factors are 2 and 3.



Generating 3SAT circuit for Integer factorization example
<https://cstheory.stackexchange.com/questions/6755/fast-reduction-from-rsa-to-sat> answers this question directly.


