Teaching constraints through logic puzzles - SZEREDI, Péter (CSCLP 2003 (recent advances in constraints), 2004)
text