Solving periodic timetabling problems with SAT and machine learning

Gonçalo P. Matos, Luís M. Albino, Ricardo L. Saldanha, Ernesto M. Morgado. Solving periodic timetabling problems with SAT and machine learning. Public Transport, 13(3):625-648, 2021. [doi]

Abstract

Abstract is missing.