@misc{indiciae580eda487967,
  title = {Solving the Course-timetabling Problem of Cairo University Using Max-SAT},
  author = {Mohamed El Halaby},
  year = {2018},
  url = {https://arxiv.org/abs/1803.05027},
  note = {Source identifier: 1803.05027}
}