##article.return## On Solving Structured SAT on Ising Machines: A Semiprime Factorization Study Download Download PDF