@misc{indiciae3d940cd74a58,
  title = {Evaluating SAT Solver Metrics as Predictors of Human-Perceived Nonogram Difficulty},
  author = {Changdao He and Yibing Ju and Jonathan Calver and Alice Gao},
  year = {2026},
  url = {https://arxiv.org/abs/2608.23300},
  note = {Source identifier: 2608.23300}
}