LW
Logic Grid Puzzle Techniques, Constraint Satisfaction