Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver.
Yoshinao IsobeHisabumi HatsugaiAkira TanakaYutaka OiwaTakanori AmbeAkimasa OkadaSatoru KitamuraYamato FukutaTakashi KunifujiPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2019)