{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T04:15:20Z","timestamp":1769314520807,"version":"3.49.0"},"reference-count":33,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,11,6]],"date-time":"2024-11-06T00:00:00Z","timestamp":1730851200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,11,6]],"date-time":"2024-11-06T00:00:00Z","timestamp":1730851200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,11,6]]},"DOI":"10.1109\/ithet61869.2024.10837617","type":"proceedings-article","created":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T18:35:30Z","timestamp":1737052530000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["A CP-SAT Approach for Academic Resource Timetabling in Higher Education Institutions: A Case Study at a Major Public University"],"prefix":"10.1109","author":[{"given":"\u00c9ber J\u00fanio Borges","family":"Moreira","sequence":"first","affiliation":[{"name":"University of Brasília,PPCA\/UnB,Brasília,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergio Antonio Andrade","family":"De Freitas","sequence":"additional","affiliation":[{"name":"University of Brasília,CEDIS\/UnB and PPCA\/UnB,Brasília,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2007.4424686"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.37.1.98"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICACSIS.2017.8355076"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2017.09.007"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3103495"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2018.08.024"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2014.11.010"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-018-3126-9"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/40.9.565"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2005.08.012"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10951-006-6775-y"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10479-010-0737-7"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10951-006-8495-8"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s11590-020-01588-x"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2003.06.023"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(03)00103-6"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-93031-2_10"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10479-023-05325-2"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C.2019.00034"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-58942-4_19"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.18421\/TEM81-30"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2372233.2372235"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2004.08.003"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2008.12.007"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.1090.0320"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1504\/IJCAT.2004.003641"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1155\/2021\/9940866"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1057\/jors.2008.102"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s10951-021-00715-5"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICKECS56523.2022.10060177"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19249-9_30"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2018.08.005"},{"key":"ref33","volume-title":"CP-SAT, version 9.10, Google","author":"Perron","year":"2024"}],"event":{"name":"2024 21st International Conference on Information Technology Based Higher Education and Training (ITHET)","location":"Paris, France","start":{"date-parts":[[2024,11,6]]},"end":{"date-parts":[[2024,11,8]]}},"container-title":["2024 21st International Conference on Information Technology Based Higher Education and Training (ITHET)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10837011\/10837012\/10837617.pdf?arnumber=10837617","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T08:35:46Z","timestamp":1737102946000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10837617\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,6]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/ithet61869.2024.10837617","relation":{},"subject":[],"published":{"date-parts":[[2024,11,6]]}}}