TY  - RPRT
TI  - Evaluating SAT Solver Metrics as Predictors of Human-Perceived Nonogram Difficulty
AU  - Changdao He
AU  - Yibing Ju
AU  - Jonathan Calver
AU  - Alice Gao
PY  - 2026
UR  - https://arxiv.org/abs/2608.23300
ID  - 2608.23300
ER  -