Solving the Course-timetabling Problem of Cairo University Using Max-SAT

Mohamed El Halaby
DOI: https://doi.org/10.48550/arXiv.1803.05027
IF: 14.4
2018-02-11
Artificial Intelligence
Abstract:Due to the good performance of current SAT (satisfiability) and Max-SAT (maximum ssatisfiability) solvers, many real-life optimization problems such as scheduling can be solved by encoding them into Max-SAT. In this paper we tackle the course timetabling problem of the department of mathematics, Cairo University by encoding it into Max-SAT. Generating timetables for the department by hand has proven to be cumbersome and the generated timetable almost always contains conflicts. We show how the constraints can be modelled as a Max-SAT instance.
What problem does this paper attempt to address?