> > they show that you can use SAT to solve Sudoku > Wait, did you mess up the direction here too, or am I confused? If you reduce problem A to B, then it mea

> > they show that you can use SAT to solve Sudoku > Wait, did you mess up the direction here too, or am I confused? If you reduce problem A to B, then it means B is at least as hard as A, because solving it would solve A. Using SAT to solve Sudoku is a reduction of Sudoku to SAT. The order of the problems names switches depending on how you write it.