Using Boolean Satisfiability Solvers to Help Reduce Cognitive Load and Improve Decision Making when Creating Common Academic Schedules
ACM CHI Conference on Human Factors in Computing Systems Proceedings (CHI), 2021 Acceptance Rate: 26%
Interfaces for comparing schedules with a friend and collaborative schedule generation with one or more friends.
Abstract
Manual schedule creation often involves satisfying numerous unique and conflicting constraints, which becomes more cognitively demanding when creating a common academic schedule with other individuals. Poor decision making caused by cognitive overload can result in unsuitable schedules. This study proposes the use of Boolean satisfiability (SAT) solvers in an academic scheduling system to help students balance scheduling preferences and satisfy necessary constraints. Based on the availability of courses and the scheduling preferences of users, the system automatically resolves conflicts and presents possible schedules. In a controlled experiment with 42 undergraduate students, cognitive demand was reduced by eliminating menial decisions, which significantly optimized the creation of a common schedule among peers. We found that human errors and emotional stress were diminished, and schedules created using the system were more satisfactory to participants. Finally, we present recommendations and design implications for future academic scheduling systems.
Materials
Bibtex
@inbook{manzano-sat-scheduler-2021, author = {Manzano, Joshua C. and Soliven, Adrienne Francesca O. and Llamas, Antonio Miguel B. and Tinsay, Shenn Margareth V. and Samson, Briane Paul V. and Cabredo, Rafael A.}, title = {Using Boolean Satisfiability Solvers to Help Reduce Cognitive Load and Improve Decision Making When Creating Common Academic Schedules}, year = {2021}, isbn = {9781450380966}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, url = {https://doi.org/10.1145/3411764.3445681}, booktitle = {Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems}, articleno = {456}, numpages = {13} }
Citation
Joshua C. Manzano, Adrienne Francesca O. Soliven, Antonio Miguel B. Llamas, Shenn Margareth V. Tinsay, Briane Paul V. Samson, and Rafael A. Cabredo. 2021. Using Boolean Satisfiability Solvers to Help Reduce Cognitive Load and Improve Decision Making when Creating Common Academic Schedules. Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, New York, NY, USA, Article 456, 1–13. DOI:https://doi.org/10.1145/3411764.3445681