Safety and Line Capacity in Railways - An Approach in Timed CSP.
Yoshinao IsobeFaron MollerHoang Nga NguyenMarkus RoggenbachPublished in: IFM (2012)
Keyphrases
- constraint satisfaction problems
- petri net
- constraint satisfaction
- decomposition methods
- air traffic
- line segments
- constraint propagation
- tree decomposition
- timed automata
- constraint programming
- tree decompositions
- real time
- closest string
- capacity expansion
- high capacity
- arc consistency
- np complete
- np hard
- search space