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

Philine Gattermann Peter Großmann Karl Nachtigall Anita Schöbel

Published in: ATMOS (2016)

Keyphrases

public transportation
timetabling problem
sat solvers
public transport
satisfiability problem
phase transition
search algorithm
propositional satisfiability
constraint programming
sat problem
stochastic local search algorithms