Solving Sudoku with Consistency: A Visual and Interactive Approach (IJCAI 2018)