Variational Program Inference (2010)
We introduce a framework for representing a variety of interesting problems as inference over the execution of probabilistic model programs. We represent a "solution" to such a problem as a guide...
Proverb: The Probabilistic Cruciverbalist (2007)
Greg A. Keim, Noam Shazeer, Michael L. Littman, Sushant Agarwal, Catherine M. Cheves, Joseph Fitzgerald, ...
We attacked the problem of solving crossword puzzles by computer: given a set of clues and a crossword grid, try to maximize the number of words correctly filled in. After an analysis of a large...
Solving Crossword Puzzles as Probabilistic Constraint Satisfaction (1999)
Noam Shazeer, Michael L. Littman, Greg A. Keim
Crossword puzzle solving is a classic constraint satisfaction problem, but, when solving a real puzzle, the mapping from clues to variable domains is not perfectly crisp. At best, clues induce a...
Proverb: The Probabilistic Cruciverbalist (1999)
The Crossword, Puzzle Class, Greg A. Keim, Greg A. Keim, Noam Shazeer, ...
We attacked the problem of solving crossword puzzles by computer: given a set of clues and a crossword grid, try to maximize the number of words correctly filled in. After an analysis of a large...
Constraint Satisfaction with Probabilistic Preferences on Variable Values (1999)
Noam Shazeer, Noam M. Shazeer, Michael L. Littman, Michael L. Littman, Greg A. Keim, Greg A. Keim
Crossword puzzle solving is a classic constraint satisfaction problem, but, when solving a real puzzle, the mapping from clues to variable domains is not perfectly crisp. At best, clues induce a...