Hierarchical Classifications in Constraint Satisfaction - Berthier, Denis
29,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
  • Broschiertes Buch

"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.

Andere Kunden interessierten sich auch für
Produktbeschreibung
"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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Autorenporträt
Denis Berthier graduated from Ecole Polytechnique (X68, Paris, France) and was full Professor of Logic, Artificial Intelligence and Epistemology of Information Technologies at Institut Mines Télécom, France. He is the author of a series of books on Pattern-Based Constraint Satisfaction.