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, France
- Paris
-
00:06
(UTC +02:00) - https://www.researchgate.net/profile/Denis-Berthier/research
Pinned Loading
-
CSP-Rules-V2.1
CSP-Rules-V2.1 PublicA general pattern-based solver of finite Constraint Satisfaction problems
-
Controlled-bias_Sudoku_generator_and_collection
Controlled-bias_Sudoku_generator_and_collection PublicControlled-bias Sudoku generator and collection
-
CSP-Rules-Examples
CSP-Rules-Examples PublicExamples and large scale studies with the CSP-Rules-V2.1 project
CLIPS 3
-
Classifications-of-TE3-Sudokus
Classifications-of-TE3-Sudokus PublicVarious classifications of all the known Sudoku puzzles at depth 3 of the universal Trial-and-Error procedure (as of July 13th, 2023)
-
Sudoku_Hierarchical_Classifier
Sudoku_Hierarchical_Classifier PublicComputes the universal T&E-classification of Sudoku puzzles and their B, BpB or BpBB sub-classification
-
Classification-of-TE2-Sudokus
Classification-of-TE2-Sudokus PublicBpB classification of T&E(2) 9x9 Sudokus
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.