Evaluating SAT Solver Metrics as Predictors of Human-Perceived Nonogram Difficulty
arXiv:2608.23300v1 Announce Type: cross Abstract: Algorithmic solver effort is often assumed to align with perceived puzzle difficulty, but this assumption is rarely tested against human solving data.