Yes, constraint learning is a huge deal. And there is a fun trick to solving sudoku that is basically this. Someone realized that you can essentially build an extra ring around the board that has the same constraints as elsewhere. Phistomefel Ring is the name, I believe. (This may be a different one, I just reached for the first thing a google search found for my vague description.)