{"id":"https://openalex.org/W3161558778","doi":"https://doi.org/10.1145/3411764.3445681","title":"Using Boolean Satisfiability Solvers to Help Reduce Cognitive Load and Improve Decision Making when Creating Common Academic Schedules","display_name":"Using Boolean Satisfiability Solvers to Help Reduce Cognitive Load and Improve Decision Making when Creating Common Academic Schedules","publication_year":2021,"publication_date":"2021-05-06","ids":{"openalex":"https://openalex.org/W3161558778","doi":"https://doi.org/10.1145/3411764.3445681","mag":"3161558778"},"language":"en","primary_location":{"id":"doi:10.1145/3411764.3445681","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3411764.3445681","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026328539","display_name":"Joshua C. Manzano","orcid":null},"institutions":[{"id":"https://openalex.org/I5996616","display_name":"De La Salle University","ror":"https://ror.org/04xftk194","country_code":"PH","type":"education","lineage":["https://openalex.org/I5996616"]}],"countries":["PH"],"is_corresponding":true,"raw_author_name":"Joshua C. Manzano","raw_affiliation_strings":["Center for Complexity and Emerging Technologies De La Salle University, Philippines"],"affiliations":[{"raw_affiliation_string":"Center for Complexity and Emerging Technologies De La Salle University, Philippines","institution_ids":["https://openalex.org/I5996616"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023908647","display_name":"Adrienne Francesca O. Soliven","orcid":"https://orcid.org/0000-0002-7097-7920"},"institutions":[{"id":"https://openalex.org/I5996616","display_name":"De La Salle University","ror":"https://ror.org/04xftk194","country_code":"PH","type":"education","lineage":["https://openalex.org/I5996616"]}],"countries":["PH"],"is_corresponding":false,"raw_author_name":"Adrienne Francesca O. Soliven","raw_affiliation_strings":["Center for Complexity and Emerging Technologies De La Salle University, Philippines"],"affiliations":[{"raw_affiliation_string":"Center for Complexity and Emerging Technologies De La Salle University, Philippines","institution_ids":["https://openalex.org/I5996616"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005289676","display_name":"Antonio Miguel B. Llamas","orcid":null},"institutions":[{"id":"https://openalex.org/I5996616","display_name":"De La Salle University","ror":"https://ror.org/04xftk194","country_code":"PH","type":"education","lineage":["https://openalex.org/I5996616"]}],"countries":["PH"],"is_corresponding":false,"raw_author_name":"Antonio Miguel B. Llamas","raw_affiliation_strings":["Center for Complexity and Emerging Technologies De La Salle University, Philippines"],"affiliations":[{"raw_affiliation_string":"Center for Complexity and Emerging Technologies De La Salle University, Philippines","institution_ids":["https://openalex.org/I5996616"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066743438","display_name":"Shenn Margareth V. Tinsay","orcid":null},"institutions":[{"id":"https://openalex.org/I5996616","display_name":"De La Salle University","ror":"https://ror.org/04xftk194","country_code":"PH","type":"education","lineage":["https://openalex.org/I5996616"]}],"countries":["PH"],"is_corresponding":false,"raw_author_name":"Shenn Margareth V. Tinsay","raw_affiliation_strings":["Center for Complexity and Emerging Technologies De La Salle University, Philippines"],"affiliations":[{"raw_affiliation_string":"Center for Complexity and Emerging Technologies De La Salle University, Philippines","institution_ids":["https://openalex.org/I5996616"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065729886","display_name":"Briane Paul V. Samson","orcid":"https://orcid.org/0000-0002-0253-452X"},"institutions":[{"id":"https://openalex.org/I5996616","display_name":"De La Salle University","ror":"https://ror.org/04xftk194","country_code":"PH","type":"education","lineage":["https://openalex.org/I5996616"]}],"countries":["PH"],"is_corresponding":false,"raw_author_name":"Briane Paul V. Samson","raw_affiliation_strings":["Center for Complexity and Emerging Technologies De La Salle University, Philippines"],"affiliations":[{"raw_affiliation_string":"Center for Complexity and Emerging Technologies De La Salle University, Philippines","institution_ids":["https://openalex.org/I5996616"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029786922","display_name":"Rafael Cabredo","orcid":null},"institutions":[{"id":"https://openalex.org/I5996616","display_name":"De La Salle University","ror":"https://ror.org/04xftk194","country_code":"PH","type":"education","lineage":["https://openalex.org/I5996616"]}],"countries":["PH"],"is_corresponding":false,"raw_author_name":"Rafael A. Cabredo","raw_affiliation_strings":["De La Salle University, Philippines"],"affiliations":[{"raw_affiliation_string":"De La Salle University, Philippines","institution_ids":["https://openalex.org/I5996616"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5026328539"],"corresponding_institution_ids":["https://openalex.org/I5996616"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.05792316,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12401","display_name":"Scheduling and Timetabling Solutions","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10525","display_name":"Human-Automation Interaction and Safety","score":0.9387000203132629,"subfield":{"id":"https://openalex.org/subfields/3207","display_name":"Social Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7107939720153809},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.6423752903938293},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.6304560899734497},{"id":"https://openalex.org/keywords/cognitive-load","display_name":"Cognitive load","score":0.6109806299209595},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5493306517601013},{"id":"https://openalex.org/keywords/cognition","display_name":"Cognition","score":0.5437284111976624},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5234860181808472},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.32033589482307434},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.23768460750579834},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.2372378706932068},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.1903379261493683},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09173625707626343}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7107939720153809},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.6423752903938293},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6304560899734497},{"id":"https://openalex.org/C61641136","wikidata":"https://www.wikidata.org/wiki/Q1107019","display_name":"Cognitive load","level":3,"score":0.6109806299209595},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5493306517601013},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.5437284111976624},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5234860181808472},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.32033589482307434},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.23768460750579834},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2372378706932068},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.1903379261493683},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09173625707626343},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3411764.3445681","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3411764.3445681","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7099999785423279,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W86878369","https://openalex.org/W95067517","https://openalex.org/W314101879","https://openalex.org/W1489881420","https://openalex.org/W1506886208","https://openalex.org/W1549449731","https://openalex.org/W1575331315","https://openalex.org/W1720684243","https://openalex.org/W1904563498","https://openalex.org/W1949943063","https://openalex.org/W1964340145","https://openalex.org/W1964399202","https://openalex.org/W1983748693","https://openalex.org/W2003369854","https://openalex.org/W2007524903","https://openalex.org/W2012921387","https://openalex.org/W2058090606","https://openalex.org/W2071355846","https://openalex.org/W2072133687","https://openalex.org/W2083934656","https://openalex.org/W2090789085","https://openalex.org/W2099942580","https://openalex.org/W2116897970","https://openalex.org/W2123335485","https://openalex.org/W2148905283","https://openalex.org/W2151746889","https://openalex.org/W2151905266","https://openalex.org/W2158651374","https://openalex.org/W2211069567","https://openalex.org/W2479937001","https://openalex.org/W2481365383","https://openalex.org/W2565206647","https://openalex.org/W2767925358","https://openalex.org/W2773891016","https://openalex.org/W2796000004","https://openalex.org/W2891087078","https://openalex.org/W2897533636","https://openalex.org/W3102743592","https://openalex.org/W4292994367"],"related_works":["https://openalex.org/W3176904788","https://openalex.org/W21597398","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W2268872489","https://openalex.org/W1913543287","https://openalex.org/W2014111643","https://openalex.org/W2963044240","https://openalex.org/W2076399409","https://openalex.org/W2102364390"],"abstract_inverted_index":{"Manual":[0],"schedule":[1,21,107],"creation":[2,103],"often":[3],"involves":[4],"satisfying":[5],"numerous":[6],"unique":[7],"and":[8,58,68,79,115,120,135],"conflicting":[9],"constraints,":[10],"which":[11,99],"becomes":[12],"more":[13,127],"cognitively":[14],"demanding":[15],"when":[16],"creating":[17],"a":[18,84,105],"common":[19,106],"academic":[20,49,140],"with":[22,87],"other":[23],"individuals.":[24],"Poor":[25],"decision":[26],"making":[27],"caused":[28],"by":[29,95],"cognitive":[30,91],"overload":[31],"can":[32],"result":[33],"in":[34,47],"unsuitable":[35],"schedules.":[36,82],"This":[37],"study":[38],"proposes":[39],"the":[40,64,69,74,102,124],"use":[41],"of":[42,66,72,104],"Boolean":[43],"satisfiability":[44],"(SAT)":[45],"solvers":[46],"an":[48],"scheduling":[50,56,70,141],"system":[51,75,125],"to":[52,129],"help":[53],"students":[54],"balance":[55],"preferences":[57,71],"satisfy":[59],"necessary":[60],"constraints.":[61],"Based":[62],"on":[63],"availability":[65],"courses":[67],"users,":[73],"automatically":[76],"resolves":[77],"conflicts":[78],"presents":[80],"possible":[81],"In":[83],"controlled":[85],"experiment":[86],"42":[88],"undergraduate":[89],"students,":[90],"demand":[92],"was":[93],"reduced":[94],"eliminating":[96],"menial":[97],"decisions,":[98],"significantly":[100],"optimized":[101],"among":[108],"peers.":[109],"We":[110],"found":[111],"that":[112],"human":[113],"errors":[114],"emotional":[116],"stress":[117],"were":[118,126],"diminished,":[119],"schedules":[121],"created":[122],"using":[123],"satisfactory":[128],"participants.":[130],"Finally,":[131],"we":[132],"present":[133],"recommendations":[134],"design":[136],"implications":[137],"for":[138],"future":[139],"systems.":[142]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}