PatternBased Constraint Satisfaction and Logic Puzzles

© Denis Berthier. All the material in this page and the pages it gives access to are the property of the author and may not be republished or reposted without his prior written permission. 
"PatternBased Constraint Satisfaction and Logic
Puzzles" (First Edition) developed a pure logic,
patternbased perspective of solving the finite Constraint
Satisfaction Problem (CSP), with emphasis on finding the
"simplest" solution. It was the second, revised and
largely extended edition of Constraint
Resolution Theories.
Contents (pdf) 