Convert an integer factorization problem into a boolean SATISFIABILITY problem.