I do have to admit I don't understand a thing but why chose manifolds and wavefronts to solve sudoku? unless they just mean they've built a SAT solver with a ne

I do have to admit I don't understand a thing but why chose manifolds and wavefronts to solve sudoku? unless they just mean they've built a SAT solver with a new name