By solve should have said "efficiently solve". They haven't even tried to show that this approach scales up to larger boards, or that they can efficiently solve an NP-complete problem. Solving one 9x9 sudoku (like we all do when we play it) doesn't mean that we can efficiently solve NP-complete problems.

Cool sig .. I see someone else has read Enders Game