TY - RPRT TI - Solving the Course-timetabling Problem of Cairo University Using Max-SAT AU - Mohamed El Halaby PY - 2018 UR - https://arxiv.org/abs/1803.05027 ID - 1803.05027 ER -