Hisabumi Hatsugai

Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver

Akira Tanaka, Takashi Kunifuji, Yoshinao Isobe, 2019, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..