Proverb divides the process of solving crossword puzzles into two steps: generating a list of candidate answers for each clue using many language resources and algorithms, and nding the best solution combining the candidate answers for the clues. In the rst step, they used a database which ...