Glossary, remove redundant domain constraints in SAT Sudoku.
Remove weirdness
Remove redundant domain constraints from Sudoku SAT.