{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T20:40:51Z","timestamp":1751575251725,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T00:00:00Z","timestamp":1620259200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,6]]},"DOI":"10.1145\/3411764.3445681","type":"proceedings-article","created":{"date-parts":[[2021,5,8]],"date-time":"2021-05-08T05:28:50Z","timestamp":1620451730000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Using Boolean Satisfiability Solvers to Help Reduce Cognitive Load and Improve Decision Making when Creating Common Academic Schedules"],"prefix":"10.1145","author":[{"given":"Joshua C.","family":"Manzano","sequence":"first","affiliation":[{"name":"Center for Complexity and Emerging Technologies De La Salle University, Philippines"}]},{"given":"Adrienne Francesca O.","family":"Soliven","sequence":"additional","affiliation":[{"name":"Center for Complexity and Emerging Technologies De La Salle University, Philippines"}]},{"given":"Antonio Miguel B.","family":"Llamas","sequence":"additional","affiliation":[{"name":"Center for Complexity and Emerging Technologies De La Salle University, Philippines"}]},{"given":"Shenn Margareth V.","family":"Tinsay","sequence":"additional","affiliation":[{"name":"Center for Complexity and Emerging Technologies De La Salle University, Philippines"}]},{"given":"Briane Paul V.","family":"Samson","sequence":"additional","affiliation":[{"name":"Center for Complexity and Emerging Technologies De La Salle University, Philippines"}]},{"given":"Rafael A.","family":"Cabredo","sequence":"additional","affiliation":[{"name":"De La Salle University, Philippines"}]}],"member":"320","published-online":{"date-parts":[[2021,5,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/315149.315482"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10479-012-1081-x"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1111\/risa.12161"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/INNOVATIONS.2006.301886"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0957-4174(94)90026-4"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1287\/inte.9.4.24"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1177352.1177354"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.18520\/cs\/v112\/i05\/1038-1044"},{"volume-title":"Practice and Theory of Automated Timetabling IV, Edmund Burke and Patrick De\u00a0Causmaecker (Eds.)","author":"Cheng Eddie","key":"e_1_3_2_1_9_1","unstructured":"Eddie Cheng , Serge Kruk , and Marc Lipman . 2003. Flow formulations for the student scheduling problem . In Practice and Theory of Automated Timetabling IV, Edmund Burke and Patrick De\u00a0Causmaecker (Eds.) . Springer , Berlin, Germany , 299\u2013309. Eddie Cheng, Serge Kruk, and Marc Lipman. 2003. Flow formulations for the student scheduling problem. In Practice and Theory of Automated Timetabling IV, Edmund Burke and Patrick De\u00a0Causmaecker (Eds.). Springer, Berlin, Germany, 299\u2013309."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10479-017-2693-y"},{"volume-title":"Practice and Theory of Automated Timetabling II","author":"Elmohamed Saleh","key":"e_1_3_2_1_12_1","unstructured":"M.\u00a0A.\u00a0 Saleh Elmohamed , Paul Coddington , and Geoffrey Fox . 1998. A comparison of annealing techniques for academic course scheduling . In Practice and Theory of Automated Timetabling II , Edmund Burkeand Michael Carter (Eds.). Springer , Berlin, Germany , 92\u2013112. M.\u00a0A.\u00a0Saleh Elmohamed, Paul Coddington, and Geoffrey Fox. 1998. A comparison of annealing techniques for academic course scheduling. In Practice and Theory of Automated Timetabling II, Edmund Burkeand Michael Carter (Eds.). Springer, Berlin, Germany, 92\u2013112."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0191-8869(00)00094-5"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(07)03002-7"},{"key":"e_1_3_2_1_15_1","first-page":"A12","article-title":"Less choice, more structure for students: In a Tennessee system, it works","volume":"58","author":"Gonzalez Jennifer","year":"2012","unstructured":"Jennifer Gonzalez . 2012 . Less choice, more structure for students: In a Tennessee system, it works . The Chronicle of Higher Education 58 , 42 (2012), A12 \u2013 A13 . Jennifer Gonzalez. 2012. Less choice, more structure for students: In a Tennessee system, it works. The Chronicle of Higher Education 58, 42 (2012), A12\u2013A13.","journal-title":"The Chronicle of Higher Education"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1080\/00940771.1998.11495913"},{"volume-title":"Made in America: The affects cognitive load consumer ethnocentrism and country of origin have on consumer purchasing decisions. Honors Thesis","author":"Halstrom Hannah","key":"e_1_3_2_1_17_1","unstructured":"Hannah Halstrom . 2016. Made in America: The affects cognitive load consumer ethnocentrism and country of origin have on consumer purchasing decisions. Honors Thesis . Union College . Hannah Halstrom. 2016. Made in America: The affects cognitive load consumer ethnocentrism and country of origin have on consumer purchasing decisions. Honors Thesis. Union College."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1177\/154193120605000909arXiv:https:"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1996.565442"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10951-010-0194-9"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/GCIS.2009.138"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858171.1858226"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10648-015-9352-0"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3269206.3271712"},{"volume-title":"HCI and Usability for Education and Work","author":"Laugwitz Bettina","key":"e_1_3_2_1_25_1","unstructured":"Bettina Laugwitz , Theo Held , and Martin Schrepp . 2008. Construction and evaluation of a user experience questionnaire . In HCI and Usability for Education and Work , Andreas Holzinger (Ed.). Springer , Berlin, Germany , 63\u201376. Bettina Laugwitz, Theo Held, and Martin Schrepp. 2008. Construction and evaluation of a user experience questionnaire. In HCI and Usability for Education and Work, Andreas Holzinger (Ed.). Springer, Berlin, Germany, 63\u201376."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3174223"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1518701.1518946"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006576209967"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.9781\/ijimai.2017.445"},{"key":"e_1_3_2_1_30_1","first-page":"1131","article-title":"Using outputs of NASA-TLX for building a mental workload expert system","volume":"27","author":"Seker Alper","year":"2014","unstructured":"Alper Seker . 2014 . Using outputs of NASA-TLX for building a mental workload expert system . Gazi University Journal of Science 27 , 4 (2014), 1131 \u2013 1142 . Alper Seker. 2014. Using outputs of NASA-TLX for building a mental workload expert system. Gazi University Journal of Science 27, 4 (2014), 1131\u20131142.","journal-title":"Gazi University Journal of Science"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Krzysztof Socha Michael Sampels and Max Manfrin. 2003. Ant algorithms for the university course timetabling problem with regard to the state-of-the-art. In Applications of Evolutionary Computing Stefano Cagnoni Colin\u00a0G. Johnson Juan J.\u00a0Romero Cardalda Elena Marchiori David\u00a0W. Corne Jean-Arcady Meyer Jens Gottlieb Martin Middendorf Agn\u00e8s Guillot G\u00fcnther\u00a0R. Raidl and Emma Hart(Eds.). Springer Berlin Germany 334\u2013345.  Krzysztof Socha Michael Sampels and Max Manfrin. 2003. Ant algorithms for the university course timetabling problem with regard to the state-of-the-art. In Applications of Evolutionary Computing Stefano Cagnoni Colin\u00a0G. Johnson Juan J.\u00a0Romero Cardalda Elena Marchiori David\u00a0W. Corne Jean-Arcady Meyer Jens Gottlieb Martin Middendorf Agn\u00e8s Guillot G\u00fcnther\u00a0R. Raidl and Emma Hart(Eds.). Springer Berlin Germany 334\u2013345.","DOI":"10.1007\/3-540-36605-9_31"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.neubiorev.2012.02.003"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1037\/a0013281"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1099435.1099519"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1287\/inte.2017.0920"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/571985.571988"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2455034"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1037\/0022-3514.54.6.1063"}],"event":{"name":"CHI '21: CHI Conference on Human Factors in Computing Systems","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Yokohama Japan","acronym":"CHI '21"},"container-title":["Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3411764.3445681","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3411764.3445681","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:39Z","timestamp":1750195719000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3411764.3445681"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,6]]},"references-count":37,"alternative-id":["10.1145\/3411764.3445681","10.1145\/3411764"],"URL":"https:\/\/doi.org\/10.1145\/3411764.3445681","relation":{},"subject":[],"published":{"date-parts":[[2021,5,6]]},"assertion":[{"value":"2021-05-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}