Integrating Passengers' Routes in Periodic Timetabling: A SAT approach.

Philine Gattermann, Peter Gromann, Karl Nachtigall, Anita Schbel

Browse the full ATMOS paper archive.