Constraint propagation sudoku. You look at all the constraints, and can tell the value.