Using Boolean Satisfiability Solvers to Help Reduce Cognitive Load and Improve Decision Making when Creating Common Academic Schedules.
Joshua C. ManzanoAdrienne Francesca O. SolivenAntonio Miguel B. LlamasShenn Margareth V. TinsayBriane Paul V. SamsonRafael A. CabredoPublished in: CHI (2021)