Pattern-Based Constraint Satisfaction and Logic Puzzles

Denis Berthier

Pattern-Based Constraint Satisfaction and Logic Puzzles develops a pure logic, pattern-based perspective of solving the finite Constraint Satisfaction Problem (CSP), with emphasis…