Constraint Propagation for Reasoning in Single-player Deduction GamesCSP-driven ISES with AC-3 pruning accelerates hidden-information reasoning.