University of Twente Student Theses

Login
As of Friday, 8 August 2025, the current Student Theses repository is no longer available for thesis uploads. A new Student Theses repository will be available starting Friday, 15 August 2025.

Leveraging SAT-SMT for TA Scheduling Optimization: Enhancing Efficiency and Effectiveness

Thakurani, Mr Kishan (2024) Leveraging SAT-SMT for TA Scheduling Optimization: Enhancing Efficiency and Effectiveness.

[img] PDF
611kB
Abstract:The scheduling of teaching assistants (TAs) is a complex task, similar to the Nurse Rostering Problem. The TA scheduling problem involves finding the best way to assign TAs to different time slots. A feasible schedule must adhere to all the strict constraints, while an optimal schedule maximizes the flexible constraints. This paper discusses the methodology and implementation of an algorithm that produces an optimized schedule using Z3 and Google OR-Tools. It also evaluates the strengths and shortcomings of these libraries. Additionally, the paper explores research on preference modeling and potential methods for gathering preferences, which are informed by discussions and polls among TAs.
Item Type:Essay (Bachelor)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science BSc (56964)
Awards:Best Presentation
Link to this item:https://purl.utwente.nl/essays/100970
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page