Pattern-Based Constraint Satisfaction and Logic Puzzles (Third Edition)