Hierarchical Classifications in Constraint Satisfaction
Wersja papierowa
Autor:
Berthier Denis
Wydawnictwo:
Lulu PressISBN: 978-14-467-3331-8
Format: 15.6x23.4cm
Liczba stron: 44
Oprawa: Miękka
Wydanie: 2023 r.
Język: angielski
Dostępność: dostępny
146,80 zł
"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.