Solving Crossword Puzzles as Probabilistic Constraint Satisfaction.
Noam M. ShazeerMichael L. LittmanGreg A. KeimPublished in: AAAI/IAAI (1999)
Keyphrases
- constraint satisfaction
- crossword puzzles
- probabilistic reasoning
- constraint satisfaction problems
- heuristic search
- constraint relaxation
- constraint programming
- relaxation labeling
- soft constraints
- russian doll search
- constrained problems
- phase transition
- robust fault detection
- arc consistency
- constraint propagation
- constraint problems
- constraint optimization
- combinatorial problems
- constraint solving
- forward checking
- configuration problems
- sat solvers
- objective function
- bayesian networks