Generating and Solving Logic Puzzles through Constraint Satisfaction.
Barry O'SullivanJohn HoranPublished in: AAAI (2007)
Keyphrases
- constraint satisfaction
- constrained problems
- constraint satisfaction problems
- constraint problems
- phase transition
- heuristic search
- constraint propagation
- relaxation labeling
- constraint optimization
- combinatorial problems
- constraint relaxation
- constraint programming
- arc consistency
- logic programming
- crossword puzzles
- configuration problems
- search algorithm
- automated reasoning
- probabilistic reasoning
- constraint networks
- robust fault detection
- russian doll search
- soft constraints
- forward checking
- backtracking algorithm
- search strategies
- neural network
- constraint solving
- branch and bound search