Evaluating SAT Solver Metrics as Predictors of Human-Perceived Nonogram Difficulty