Hierarchical Classifications in Constraint Satisfaction (Paperback) (ISBN-13: 9781446733318)

"Hierarchical Classifications in Constraint Satisfaction" starts by recalling the main universal classifications of the instances of a finite binary Constraint Satisfaction Problem, defined in previous books by the same author, as well as their first applications to the Sudoku case. It then introduces a software (SHC) specially developed by François Cordoliani to implement them in the Sudoku case. Finally, it analyses in detail the classification results thus obtained and it shows that the short SHC computation times suggest to use it in the ongoing search for the "hardest" puzzles.

Author: Denis Berthier
ISBN-10: 1446733319
ISBN-13: 9781446733318
Publisher: Lulu.com
Language: English
Published: 10/05/2023
Pages: 44
Format: Paperback
Weight: 0.17lbs
Size: 9.21h x 6.14w x 0.09d