Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver. - Yoshinao Isobe; Hisabumi Hatsugai; Akira Tanaka; Yutaka Oiwa; Takanori Ambe; Akimasa Okada; Satoru Kitamura; Yamato Fukuta; Takashi Kunifuji (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019)