A hybrid AC3-tabu search algorithm for solving Sudoku puzzles
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
In Constraint Programming, Enumeration Strategies are crucial for resolution performances. In this work, we model the known NP-complete problems Latin Square, Magic Square and Sudoku as a Constraint Satisfaction Problems. We solve them with Constraint Programming comparing the performance of different Variable and Value Selection Heuristics in its Enumeration phase.