denis-berthier
Denis Berthier graduated from École Polytechnique (X68, Paris, France). He authored a series of books on pattern-based Constraint Satisfaction.
retired Professor from Institut Mines-Télécom, Paris, FranceParis
Pinned Repositories
Classification-of-TE2-Sudokus
BpB classification of T&E(2) 9x9 Sudokus
Classifications-of-TE3-Sudokus
Various classifications of all the known Sudoku puzzles at depth 3 of the universal Trial-and-Error procedure (as of July 13th, 2023)
Controlled-bias_Sudoku_generator_and_collection
Controlled-bias Sudoku generator and collection
CSP-Rules-Examples
Examples and large scale studies with the CSP-Rules-V2.1 project
CSP-Rules-V2.1
A general pattern-based solver of finite Constraint Satisfaction problems
Sudoku_Hierarchical_Classifier
Computes the universal T&E-classification of Sudoku puzzles and their B, BpB or BpBB sub-classification
denis-berthier's Repositories
denis-berthier/CSP-Rules-V2.1
A general pattern-based solver of finite Constraint Satisfaction problems
denis-berthier/Controlled-bias_Sudoku_generator_and_collection
Controlled-bias Sudoku generator and collection
denis-berthier/CSP-Rules-Examples
Examples and large scale studies with the CSP-Rules-V2.1 project
denis-berthier/Classification-of-TE2-Sudokus
BpB classification of T&E(2) 9x9 Sudokus
denis-berthier/Classifications-of-TE3-Sudokus
Various classifications of all the known Sudoku puzzles at depth 3 of the universal Trial-and-Error procedure (as of July 13th, 2023)
denis-berthier/Sudoku_Hierarchical_Classifier
Computes the universal T&E-classification of Sudoku puzzles and their B, BpB or BpBB sub-classification