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

Changdao He, Yibing Ju, Jonathan Calver +1

Algorithmic solver effort is often assumed to align with perceived puzzle difficulty, but this assumption is rarely tested against human solving data. We evaluate this assumption f…