Practical crossword generation with checkpoint search
Consistency in Networks of Relations