2 papers
cs.HC2026
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…
cs.CY2026
Systematic Review of Academic Procrastination Interventions in Computing Higher Education
Daniel Cheng, Oscar Heath, Daniyaal Farooqi +3
Academic procrastination is a persistent challenge in computing education, yet evidence on the effectiveness of course-level interventions remains fragmented across diverse designs…