Rafael Cabredo 最新论文
Manzano 等人提出使用布尔可满足性(SAT)求解器辅助创建学术时间表，42名本科生实验表明该方法显著降低认知负担和人为错误，提高满意度
https://hci.top/zh/authors/6908?source=all