Logical sudoku solver related domains (1)