Timetable generation and optimisation with declarative paradigm - Módli Tamás Bendegúz (2019)