Articles liés à Hierarchical Classifications in Constraint Satisfaction

Hierarchical Classifications in Constraint Satisfaction - Couverture souple

Berthier, Denis

 
9781446733318: Hierarchical Classifications in Constraint Satisfaction

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.