What’s Wrong with this Sudoku? Using Constraint Programming to Explain Unsatisfiability
Computers have long been used to quickly solve problems which can be modelled using constraints, like Sudoku, but what if the problem has no solution? An extension to the common functionality of existing constraint…