Cited By
View all- Manzano JSoliven ALlamas ATinsay SSamson BCabredo RKitamura YQuigley AIsbister KIgarashi TBjørn PDrucker S(2021)Using Boolean Satisfiability Solvers to Help Reduce Cognitive Load and Improve Decision Making when Creating Common Academic SchedulesProceedings of the 2021 CHI Conference on Human Factors in Computing Systems10.1145/3411764.3445681(1-13)Online publication date: 6-May-2021