Books by Denis Berthier

This book is the User Manual for CSP-Rules-V2.1, a generic pattern-based (or rule-based) solver of finite binary Constraint Satisfaction Problems (CSPs). The associated software, CSP-Rules-V2.1, is available on GitHub. It includes fully developed applications to logic puzzles such as Latin Squares, Sudoku, Futoshiki, Kakuro, Map Colouring, Numbrix, Hidato and Slithering.

The "Hidden Logic of Sudoku" provides the first systematic perspective of the logical symmetries of the popular game. These are fully exploited to define new graphical representations, new kinds of resolution rules and a precedence ordering of the rules consistent with their logical complexity. The set of rules defined in the book is illustrated with a hundred of puzzles together with their full resolution paths. It suffices to solve almost any puzzle without making guesses or assuming the uniqueness of a solution. It has been fed into an Artificial Intelligence (AI) engine and a large database of puzzles has been processed, leading to a precise evaluation of the efficiency of each rule. The book is intended for both advanced Sudoku players (who will discover many new facets of the game and a new, systematic approach to the resolution rules) and for teachers or students of Logic or AI (who will appreciate the strict logical foundations).

Despite light and industrial pollution, astronomy from urban areas can still be a rewarding hobby. Denis Berthier's practical guide enables amateur astronomers in towns and cities to observe and photograph stars, planets and other celestial objects.