Hierarchical Classifications in Constraint Satisfaction

Focusing on the universal classifications of finite binary Constraint Satisfaction Problems, this book explores their application to Sudoku. It introduces a specialized software, SHC, created by François Cordoliani, designed for implementing these classifications in Sudoku. The analysis of the results reveals that SHC's efficient computation times make it a valuable tool in the quest for the most challenging puzzles.