Proverb: Research Publications

• Describes the entire system and experiments (journal version)
  Michael L. Littman, Greg A. Keim, and Noam Shazeer. A Probabilistic Approach to Solving Crossword Puzzles. Artificial Intelligence, Vol. 134:1--2, pg. 23--55, 2002. (pdf)
  
  
• Describes the entire system and experiments (award winning conference paper)
  Greg A. Keim, Noam Shazeer, Michael L. Littman, Sushant Agarwal, Catherine M. Cheves, Joseph Fitzgerald, Jason Grosland, Fan Jiang, Shannon Pollard, and Karl Weinmeister. Proverb: The Probabilistic Cruciverbalist. In Proceedings of the Sixteenth National Conference on Artificial Intelligence, pg. 710--717, 1999. (ps pdf)
  
  
• Describes the grid-filling algorithm
  Noam M. Shazeer, Michael L. Littman, and Greg A. Keim. Solving crossword puzzles as probabilistic constraint satisfaction. In Proceedings of the Sixteenth National Conference on Artificial Intelligence, pg. 156--162, 1999. (ps pdf)
  
  
• Provides some examples on a particular puzzle
  Michael L. Littman, Greg A. Keim, Noam M. Shazeer. Solving Crosswords with Proverb. In Proceedings of the Sixteenth National Conference on Artificial Intelligence, pg. 914--915, 1999. (ps)