Exploring Properties of Icosoku by Constraint Satisfaction Approach