University of Twente Student Theses
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.
|
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 |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page