We propose a survey of the research contributions on the field of Educational Timetabling with a specific focus on "standard" formulations and the corresponding benchmark instances. We identify six of such formulations and we discuss their features, pointing out their relevance and usability. Other available formulations and datasets are also reviewed and briefly discussed. Subsequently, we report the main state-of-the-art results on the selected benchmarks, in terms of solution quality (upper and lower bounds), search techniques, running times, statistical distributions, and other side settings.

翻译：我们建议对教育时间安排领域的研究贡献进行调查,特别侧重于“标准”的配方和相应的基准实例。我们确定其中的6个配方,讨论其特点,指出其相关性和可用性。我们还审查和简要讨论其他现有配方和数据集。随后,我们报告选定基准的主要最新结果,包括解决办法质量(上下限)、搜索技术、运行时间、统计分布和其他环境。