Teaching Aspects of Constraint Satisafaction Algorithms Via a Game