All books available as pdfsAll my books and articles related to Pattern-Based CSP solving and its applications to logic games are now freely available as pdfs on ResearchGate:

https://www.researchgate.net/profile/Denis_Berthier/researchThis includes the following:

Books:<> Pattern-Based Constraint Satisfaction and Logic Puzzles (Second Edition) A pure logic, pattern-based perspective of solving finite Constraint Satisfaction Problems, with applications to varied logic puzzles.

Book published by "Lulu.com Publishers" (July 2015)

568 pages, ISBN 978-1-326-35064-2

This is the second, revised edition of "Pattern-Based Constraint Satisfaction and Logic Puzzles" (see below). It also includes an additional chapter dedicated to the Slitherlink puzzle, involving both non-binary and non-local constraints.

<> Pattern-Based Constraint Satisfaction and Logic Puzzles (First Edition) A pure logic, pattern-based perspective of solving finite Constraint Satisfaction Problems, with applications to varied logic puzzles.

Book published by "Lulu.com Publishers" (Novembre 2012)

484 pages, ISBN 978-1-291-20339-4

This is the second, revised and largely extended edition of "Constraint Resolution Theories".

This book now includes several concrete applications to logic puzzles involving very different types of constraints: Sudoku, N-Queens, Futoshiki, Kakuro (or Cross Sums), Map colouring, Numbrix©, Hidato©, ...

<> Constraint Resolution Theories A pure logic, pattern-based perspective of solving finite Constraint Satisfaction Problems.

Book published by "Lulu.com Publishers" (October 2011), 312 pages, ISBN 978-1-4478-6888-0

<> The Hidden Logic of Sudoku (Second Edition) A new conceptual framework for solving Sudoku puzzles with pure logic.

Second, extended edition.

Book published by "Lulu.com Publishers" (Second Edition: November 2007)

416 p., ISBN 978-1-84799-214-7

<> The Hidden Logic of Sudoku (first edition)A new conceptual framework for solving Sudoku puzzles with pure logic.

Book published by "Lulu.com Publishers" (May 2007)

384 p., ISBN 978-1-84753-472-9

International conferences:<> "

Unbiased Statistics of a CSP - A Controlled-Bias Generator", International Joint Conferences on Computer, Information, Systems Sciences and Engineering (CISSE 09), December 4-12, 2009, Springer. pdf preprint. Published as a chapter of the book Innovations in Computing Sciences and Software Engineering, Khaled Elleithy Editor, pp. 11-17, Springer, 2010, ISBN 97890481911133.

<> "

From Constraints to Resolution Rules, Part II: chains, braids, confluence and T&E", International Joint Conferences on Computer, Information, Systems Sciences and Engineering (CISSE 08), December 5-13, 2008, Springer. pdf preprint. Published as a chapter of the book Advanced Techniques in Computing Sciences and Software Engineering, Khaled Elleithy Editor, pp. 171-176, Springer, 2010, ISBN 9789094136599.

<> "

From Constraints to Resolution Rules, Part I: Conceptual Framework", International Joint Conferences on Computer, Information, Systems Sciences and Engineering (CISSE 08), December 5-13, 2008, Springer. pdf preprint. Published as a chapter of the book Advanced Techniques in Computing Sciences and Software Engineering, Khaled Elleithy Editor, pp. 165-170, Springer, 2010, ISBN 9789094136599.